Seif Haridi, Dan Sahlin. Efficient Implementation of Unification of Cyclic Structures. In Implementations of Prolog. pages 234-249, 1984.
@incollection{HaridiS84, title = {Efficient Implementation of Unification of Cyclic Structures}, author = {Seif Haridi and Dan Sahlin}, year = {1984}, researchr = {https://researchr.org/publication/HaridiS84}, cites = {0}, citedby = {0}, pages = {234-249}, booktitle = {Implementations of Prolog}, }