E. W. Elcock, P. Hoddinott. Comments on Kornfeld s Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. In AAAI. pages 766-777, 1986.
No references recorded for this publication.
No citations of this publication recorded.