Unification: A multidisciplinary survey (1989)

by Kevin Knight
Venue:ACM Computing Surveys