Automatically Translating Proof Systems for SMT Solvers to the λ Π-Calculus.

Ciarn Dunne, Guillaume Burel

Browse the full IJCAR paper archive.