David A. Plaisted The Occur-Check Problem in Prolog. 272-280 1984 conf/slp/1984 SLP db/conf/slp/slp84.html#Plaisted84