Validated Proof-Producing Decision Procedures (2004)

by R Klapper, A Stump
Venue:2nd Int. Workshop Pragmatics of Decision Procedures in Automated Reasoning