S.: A Benchmark Method for the Propositional Modal Logics K, KT, S4 (2000)

by P Balsiger, A Heuerding, Schwendimann
Venue:Journal of Automated Reasoning