Lynn Stevenson, Katarina Britz, Tertia Hörne. KT and S4 Satisfiability in a Constraint Logic Environment. In Tu Bao Ho, Zhi-Hua Zhou, editors, PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings. Volume 5351 of Lecture Notes in Computer Science, pages 370-381, Springer, 2008. [doi]
Abstract is missing.