Kouichi Hirata, Takeshi Ogawa, Masateru Harao. Generalization Algorithms for Second-Order Terms. In Rui Camacho, Ross D. King, Ashwin Srinivasan, editors, Inductive Logic Programming, 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings. Volume 3194 of Lecture Notes in Computer Science, pages 147-163, Springer, 2004. [doi]
Abstract is missing.