Masateru Harao. Analogical Reasoning Based on Higher-Order Unification. In ALT. pages 151-163, 1990.
@inproceedings{Harao90,
title = {Analogical Reasoning Based on Higher-Order Unification},
author = {Masateru Harao},
year = {1990},
tags = {rule-based},
researchr = {https://researchr.org/publication/Harao90},
cites = {0},
citedby = {0},
pages = {151-163},
booktitle = {ALT},
}