A New Method for Bounding the Complexity of Modal Logics.

David A. Basin Seán Matthews Luca Viganò A New Method for Bounding the Complexity of Modal Logics. 89-102 1997 conf/kgc/1997 Kurt Gödel Colloquium db/conf/kgc/kgc97.html#BasinMV97