Efficient Implementation of Unification of Cyclic Structures

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},
}