Decision Procedures for Intuitionistic Propositional Logic by Program Extraction.

Klaus Weich

Browse the full TABLEAUX paper archive.