Checking Validities and Proofs with CVC and flea (2002)

by A Stump
Venue:Stanford University