A Schemata Calculus for Propositional Logic.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Browse the full TABLEAUX paper archive.