A benchmark method for the propositional modal logics (2000)

by P Balsiger, A Heuerding, S Schwendimann
Venue:K, KT, S4, Journal of Automated Reasoning