A new method for bounding the complexity of modal logic (1997)

by D Basin, S Matthews, L Vigano
Venue:Proceedings of the 5th Kurt Godel Colloquium on Computational Logic and Proof Theory (KGC'97), number 1289 in Lecture Notes in Computer Science