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