fCube: An Efficient Prover for Intuitionistic Propositional Logic.

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Browse the full LPAR paper archive.