The Occur-Check Problem in Prolog

David A. Plaisted. The Occur-Check Problem in Prolog. In SLP. pages 272-280, 1984.

Abstract

Abstract is missing.