Unification revisited (1986)

by J Lassez, M Maher, K Marriott
Venue:In proceedings of the workshop on the foundations of deductive database and logic programming