1. Henk Barendregt, Lambda Calculi with Types, Handbook of Logic in Comput. Sci., vol. 2, S. Abramsky, D.M. Gabbay, T.S.E. Maibaum, eds., Clarendon Press, Oxford, 1992, 118–310.
2. Lewis D. Baxter, The Complexity of Unification, Ph.D. Thesis, University of Waterloo, 1976.
3. Paul Bernays, Moses Schönfinkel, Zum Entscheidungsproblem der mathematischen Logik, Math. Annalen, 99 (1928) 342–372.
4. Egon Börger, Erich Grädel, Yuri Gurevich, The Classical Decision Problem, Springer-Verlag, 1997.
5. Lect Notes Comput Sci;H. Comon,1998