Unification theory (2001)

by Franz Baader, Wayne Snyder
Venue:Handbook of Automated Reasoning