Unification revisited (1988)

by Jean-Louis Lassez, Michael J Maher, Kim G Marriot
Venue:Foundations of Deductive Databases and Logic Programming