Faßbender, H., & Vogler, H. (1992). A universal unification algorithm based on unification driven leftmost outermost narrowing. Univ. Ulm, Fak. für Informatik.
Chicago-Zitierstil (17. Ausg.)Faßbender, Heinz, und Heiko Vogler. A Universal Unification Algorithm Based on Unification Driven Leftmost Outermost Narrowing. Ulm: Univ. Ulm, Fak. für Informatik, 1992.
MLA-Zitierstil (9. Ausg.)Faßbender, Heinz, und Heiko Vogler. A Universal Unification Algorithm Based on Unification Driven Leftmost Outermost Narrowing. Univ. Ulm, Fak. für Informatik, 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.