Why the occur-check is not a problem

This publication has 6 references indexed in Scilit:

• Logic Programming
  Published by Elsevier ,1990
• Unification Revisited
  Published by Elsevier ,1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Relating logic programs and attribute grammars
  The Journal of Logic Programming, 1985
• The occur-check problem in Prolog
  New Generation Computing, 1984
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982