APA (7th ed.) Citation

Jobmann, M., & Schumann, J. (1991). Modelling and performance analysis of a parallel theorem prover.

Chicago Style (17th ed.) Citation

Jobmann, M., and J. Schumann. Modelling and Performance Analysis of a Parallel Theorem Prover. München, 1991.

MLA (9th ed.) Citation

Jobmann, M., and J. Schumann. Modelling and Performance Analysis of a Parallel Theorem Prover. 1991.