Proof Generation from Delta-Decisions.

Sicun Gao, Soonho Kong, Edmund M. Clarke

Browse the full SYNASC paper archive.