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.
@inproceedings{FujitaH91-0,
title = {Proving based on similarity},
author = {Ken-etsu Fujita and Masateru Harao},
year = {1991},
researchr = {https://researchr.org/publication/FujitaH91-0},
cites = {0},
citedby = {0},
pages = {213-223},
booktitle = {Algorithmic Learning Theory, 2nd International Workshop, ALT '91, Tokyo, Japan, October 23-25, 1991, Proceedings},
editor = {Setsuo Arikawa and Akira Maruoka and Taisuke Sato},
publisher = {Ohmsha},
}