Fast and Flexible Proof Checking for SMT (2009)

by D Oe, A Reynolds, A Stump
Venue:In B. Dutertre and O. Strichman, editors, International Workshop on Satisfiability Modulo Theories