Proving based on similarity

Authored By:	K. Fujita and M. Harao
Paper Title:	Proving based on similarity
Book/Journal Title:	Proc. 2nd Int. Workshop on Algorithmic Learning Theory

Publisher:	IOS Press
Publication Date:	1992
Pages:	213-223