An Implemented Simulation of a Parallel Theorem Prover. - Stefan Bayerl; M. Breu; S. Heilmeier; K. Lichtenwalder (AIMSA, 1986)