1. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol. 185, pp. 825–885. IOS Press (2009)
2. Buddy (2013),
http://sourceforge.net/projects/buddy/
3. Giunchiglia, F., Sebastiani, R.: Building decision procedures for modal logics from propositional decision procedures - the case study of modal K(m). Information and Computation 162(1/2) (October/November 2000)
4. Lecture Notes in Computer Science;R. Goré,2012
5. Heuerding, A., Schwendimann, S.: A benchmark method for the propositional modal logics K, KT, S4 (1996)