A General Approach for SMT Proof Skeletons.

Joseph E. Reeves, Haniel Barbosa, Andrew Reynolds, Marijn J. H. Heule

Browse the full IJCAR paper archive.