Gramlich, B. (1989). Inductive theorem proving using refined unfailing completion techniques. Fachbereich Informatik, Univ. Kaiserslautern.
Chicago-Zitierstil (17. Ausg.)Gramlich, Bernhard. Inductive Theorem Proving Using Refined Unfailing Completion Techniques. Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1989.
MLA-Zitierstil (9. Ausg.)Gramlich, Bernhard. Inductive Theorem Proving Using Refined Unfailing Completion Techniques. Fachbereich Informatik, Univ. Kaiserslautern, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.