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