Ken-etsu Fujita, Masateru Harao. Proving based on similarity. In Setsuo Arikawa, Akira Maruoka, Taisuke Sato, editors, Algorithmic Learning Theory, 2nd International Workshop, ALT '91, Tokyo, Japan, October 23-25, 1991, Proceedings. pages 213-223, Ohmsha, 1991.
Abstract is missing.