Jianguo Lu, Masateru Harao, Masami Hagiya. Higher Order Generalization. In Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach, editors, Logics in Artificial Intelligence, European Workshop, JELIA 98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Volume 1489 of Lecture Notes in Computer Science, pages 368-381, Springer, 1998. [doi]
Abstract is missing.