Denzinger, J. (1995). Completion and equational theorem proving using taxonomic constraints. Fachbereich Informatik, Univ.
Chicago-Zitierstil (17. Ausg.)Denzinger, Jörg. Completion and Equational Theorem Proving Using Taxonomic Constraints. Kaiserslautern: Fachbereich Informatik, Univ, 1995.
MLA-Zitierstil (9. Ausg.)Denzinger, Jörg. Completion and Equational Theorem Proving Using Taxonomic Constraints. Fachbereich Informatik, Univ, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.