ROO: A Parallel Theorem Prover