An Implemented Simulation of a Parallel Theorem Prover.

Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder

Browse the full AIMSA paper archive.