1. Baxter, L.D.: The complexity of unification, Doctoral Thesis, Department of Computer Science, University of Waterloo (1977)
2. Dietzen, S., Pfenning, F.: Higher-order and modal logic as a framework for explanation-based generalization. Mach. Learn. 9, 23–55 (1992)
3. Farmer, W.M.: Simple second-order languages for which unification is undecidable. Theor. Comput. Sci. 87, 25–41 (1991)
4. Feng, C., Muggleton, S.: Towards inductive generalisation in higher order logic. In: Proc. 9th Internat. Conf. Machine Learning, pp. 154–162 (1992)
5. Goldfarb, W.D.: The undecidability of the second-order unification problem, Theor. Comput. Sci. 13, 225–230 (1981)