and Jorg Siekmann. Unification theory (1994)

by Franz Baader
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming