Generating proofs from a decision procedure (1999)

by Aaron Stump, David L Dill
Venue:Proceedings of the FLoC Workshop on Run-Time Result Verification