A High-Performance Parallel Theorem Prover.

Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek

Browse the full CADE paper archive.