Stan Matwin;Tomasz Pietrzykowski
-;-
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)