Herold, A. (1983). Some basic notions of first-order unification theory.
Chicago-Zitierstil (17. Ausg.)Herold, A. Some Basic Notions of First-order Unification Theory. Karlsruhe, 1983.
MLA-Zitierstil (9. Ausg.)Herold, A. Some Basic Notions of First-order Unification Theory. 1983.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.