David A. Plaisted. The Occur-Check Problem in Prolog. In SLP. pages 272-280, 1984.
@inproceedings{Plaisted84:2, title = {The Occur-Check Problem in Prolog}, author = {David A. Plaisted}, year = {1984}, tags = {Prolog}, researchr = {https://researchr.org/publication/Plaisted84%3A2}, cites = {0}, citedby = {0}, pages = {272-280}, booktitle = {SLP}, }