KT and S4 Satisfiability in a Constraint Logic Environment. - Lynn Stevenson; Katarina Britz; Tertia Hörne (PRICAI, 2008)