Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. - Edward W. Elcock; P. Hoddinott (AAAI, 1986)

PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. - P. Hoddinott; Edward W. Elcock (SLP, 1986)