A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic.

Camillo Fiorentini, Rajeev Gor, Stphane Graham-Lengrand

Browse the full TABLEAUX paper archive.