Inductive resolution

Authored By:	T. Sato and S. Akiba
Paper Title:	Inductive resolution
Book/Journal Title:	Proc. 4th Int. Workshop on Algorithmic Learning Theory

Publisher:	Springer-Verlag
Publication Date:	1993
Pages:	101-110