ROO: A Parallel Theorem Prover.

Ewing L. Lusk, William McCune, John K. Slaney

Browse the full CADE paper archive.