Generating Proofs from a Decision Procedure (1999)

by A Stump, D L Dill
Venue:Traverso (Eds.), Proceedings of the FLoC Workshop on Run-Time Result Verification