P. Hoddinott

	1986
2		E. W. Elcock, P. Hoddinott: Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. AAAI 1986: 766-777
1		P. Hoddinott, E. W. Elcock: PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. SLP 1986: 115-126

Coauthor Index

1

E. W. Elcock

[1] [2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page