Title: A proof theory for general unification
Subjects: Automatic theorem proving, Proof theory