PARTHEO a high-performance parallel theorem prover - Schumann, Johann; Letz, Reinhold (1990)