Title: A proof theory for general unification
First published: 1991
Subjects: Automatic theorem proving
LC classification: QA76.9.A96