Validated Proof-Producing Decision Procedures. - Robert Klapper; Aaron Stump (D/PDPAR@IJCAR, 2004)