A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description.

Rajeev Gor, Jimmy Thomson, Jesse Wu

Browse the full CADE paper archive.