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

TitleA benchmark method for the propositional modal logics K, KT, S4
Publication TypeJournal Article
Year of Publication2000
AuthorsBalsiger, P, Heuerding, A, Schwendimann, S
JournalJournal of Automated Reasoning
Volume24
Pagination297-317
URLhttp://www.iam.unibe.ch/ltgpub/2000/bhs00.pdf