Implementing Tableau Calculi Using BDDs: BDDTab System Description. - Rajeev Goré; Kerry Olesen; Jimmy Thomson 001 (IJCAR, 2014)