@Article{BHS00, Author = "Balsiger, P. and Heuerding, A. and Schwendimann, S.", Year = "2000", Title = "{A Benchmark Method for the Propositional Modal Logics K, KT, S4}", Journal = "Journal of Automated Reasoning", Volume = "24", Number = "3", Pages = "297-317", Comment = "TPTPRef,TPTPCite,Evaluation" }