David A. Plaisted. The Occur-Check Problem in Prolog. New Generation Comput., 2(4):309-322, 1984.
@article{Plaisted84, title = {The Occur-Check Problem in Prolog}, author = {David A. Plaisted}, year = {1984}, tags = {Prolog}, researchr = {https://researchr.org/publication/Plaisted84}, cites = {0}, citedby = {0}, journal = {New Generation Comput.}, volume = {2}, number = {4}, pages = {309-322}, }