Unification: A multidisciplinary survey (1989)

by Kevin Knight
Venue:ACM Computing Surveys
Citations:103 - 0 self