Fast and flexible proof checking for SMT (2009)

by Duckki Oe, Andrew Reynolds, Aaron Stump
Venue:In Proceedings of the 7th International Workshop on Satisfiability Modulo Theories - SMT ’09