Modular algorithms for heterogeneous modal logics (2007)

by L Schröder, D Pattinson
Venue:In Automata, Languages and Programming, ICALP 07, vol. 4596 of LNCS