The GAZER Theorem Prover.

Dave Barker-Plummer, Alex Rothenberg

Browse the full CADE paper archive.