Uni cation theory (2001)

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