Generating proofs from a decision procedure (1999)

by A Stump, D L Dill
Venue:In Proceedings of the FLoC Workshop on Run-Time Result Veri