ML Anthology

Elcock, Edward W.

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