Checking Validities and Proofs with CVC and flea (2002)

by Aaron Stump