"The Occur-Check Problem in Prolog."

David A. Plaisted (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics