Masateru Harao. Analogical Reasoning for L K Theorem Proving. In Zhongshi Shi, editor, Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992. Volume A-19 of IFIP Transactions, pages 265-274, North-Holland, 1992.
@inproceedings{Harao92,
title = {Analogical Reasoning for L K Theorem Proving},
author = {Masateru Harao},
year = {1992},
researchr = {https://researchr.org/publication/Harao92},
cites = {0},
citedby = {0},
pages = {265-274},
booktitle = {Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992},
editor = {Zhongshi Shi},
volume = {A-19},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-89876-X},
}