Implementing Modal Tableaux Using Sentential Decision Diagrams. - Rajeev Goré; Jason Jingshi Li; Thomas Pagram (Australasian Conference on Artificial Intelligence, 2015)