and Jörg Siekmann. Uni cation theory (1994)

by Franz Baader
Venue:Handbook of Logic in Arti cial Intelligence and Logic Programming, volume 2, Deduction Methodologies