Caridroit, Thomas, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, and Valentin Montmirail. 2017. “A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem”. Proceedings of the AAAI Conference on Artificial Intelligence 31 (1). https://doi.org/10.1609/aaai.v31i1.11128.