APA (7th ed.) Citation

Ertel, W. (1991). Performance analysis of competitive OR-parallel theorem proving (Revised.). TUM, Inst. für Informatik.

Chicago Style (17th ed.) Citation

Ertel, Wolfgang. Performance Analysis of Competitive OR-parallel Theorem Proving. Revised. München: TUM, Inst. für Informatik, 1991.

MLA (9th ed.) Citation

Ertel, Wolfgang. Performance Analysis of Competitive OR-parallel Theorem Proving. Revised. TUM, Inst. für Informatik, 1991.

Warning: These citations may not always be 100% accurate.