CLDS for Propositional Intuitionistic Logic.

Krysia Broda, Dov M. Gabbay

Browse the full TABLEAUX paper archive.