Unification theory (0)

by F Baader, W Snyder
Venue:Handbook of Automated Reasoning