ML Anthology

Hoddinott, P.

1 publications

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