DISSOLVER: A Dissolution-based Theorem Prover.

Neil V. Murray, Erik Rosenthal

Browse the full CADE paper archive.