Modular algorithms for heterogeneous modal logics (2007)

by L Schröder, D Pattinson
Venue:Automata, Languages and Programming, ICALP 07, volume 4596 of Lect. Notes Comput. Sci