Unification: "A Multidisciplinary Survey (1989)

by K Knight
Venue:ACM Computing Surveys