A compact Prolog-based Theorem Prover for Intuitionistic Propositional Logic - 42Papers