1. I. Attali and P. Franchi-Zannettacci. Unification-free execution of TYPOL programs by semantic attribute evaluation. In R.A. Kowalski and K.A. Bowen, editors, Proceedings of the Fifth International Conference on Logic Programming, pages 160–177. The MIT Press, 1988.
2. K. R. Apt and A. Pellegrini. Why the occur-check is not a problem. In M. Bruynooghe and M. Wirsing, editors, Proceeding of the Fourth International Symposium on Programming Language Implementation and Logic Programming (PULP 92), Lecture Notes in Computer Science 631, pages 69–86, Berlin, 1992. Springer-Verlag.
3. K. R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 493–574. Elsevier, 1990. Vol. B.
4. F. Bronsard, T.K. Lakshman, and U.S. Reddy. A framework of directionality for proving termination of logic programs. In K.R. Apt, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, pages 321–335. MIT Press, 1992.
5. R. Chadha and D.A. Plaisted. Correctness of unification without occur check in Prolog. Technical report, Department of Computer Science, University of North Carolina, Chapel Hill, N.C., 1991.