The FAUST - Prover.

Klaus Schneider, Ramayya Kumar, Thomas Kropf

Browse the full CADE paper archive.