Uni cation revisited (1988)

by J-L Lassez, M J Maher, K Marriott
Venue:Foundations of Deductive Databases and Logic Programming