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.

Abstract

Abstract is missing.