Implementing Tableau Calculi Using BDDs: BDDTab System Description.

Rajeev Gor, Kerry Olesen, Jimmy Thomson

Browse the full CADE paper archive.