Checking Validities and Proofs with CVC and (2002)

by A Stump
Venue:Stanford University