Unification: a multidisciplinary survey
The Design And Analysis Of Computer Algorithms