Ertel, W. (1991). Performance analysis of competitive OR-parallel theorem proving (Revised.). TUM, Inst. für Informatik.
Chicago-Zitierstil (17. Ausg.)Ertel, Wolfgang. Performance Analysis of Competitive OR-parallel Theorem Proving. Revised. München: TUM, Inst. für Informatik, 1991.
MLA-Zitierstil (9. Ausg.)Ertel, Wolfgang. Performance Analysis of Competitive OR-parallel Theorem Proving. Revised. TUM, Inst. für Informatik, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.