BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics.

Rajeev Gor, Jimmy Thomson

Browse the full CADE paper archive.