Analytica - A Theorem Prover in Mathematica.

Edmund M. Clarke, Xudong Zhao

Browse the full CADE paper archive.