PARTHEO: A High-Performance Parallel Theorem Prover.

Johann Schumann, Reinhold Letz

Browse the full CADE paper archive.