Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy.

E. W. Elcock P. Hoddinott Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. 766-777 1986 AAAI db/conf/aaai/aaai86-2.html#ElcockH86