A benchmark method for the propositional modal logics K, KT, S4 (0)

by P Balsiger, A Heuerding, S Schwendimann
Venue:J. of Aut. Reas