Unification: A multidisciplinary survey (1989)

by Kevin Knight
Venue:ACM Computing Surveys
Citations:112 - 1 self