Caridroit, T., J.-M. Lagniez, D. Le Berre, T. de Lima, and V. Montmirail. “A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 31, no. 1, Feb. 2017, doi:10.1609/aaai.v31i1.11128.