Ritu Chadha David A. Plaisted Correctness of Unification Without Occur Check in Prolog. 99-122 1994 18 J. Log. Program. 2 db/journals/jlp/jlp18.html#ChandhaP94