The Illinois Prover: A General Purpose Resolution Theorem Prover.

Steven Greenbaum, David A. Plaisted

Browse the full CADE paper archive.