@article{pub5369,
author = {
Schröder, Lutz
and
Pattinson, Dirk
},
title = {Modular Algorithms for Heterogeneous Modal Logics via Multi-Sorted Coalgebra},
year = {2011},
month = {3},
volume = {21},
number = {2},
pages = {235--266},
journal = {Mathematical Structures in Computer Science (MSCS)},
publisher = {Cambridge University Press},
note = {Copyright Cambridge University Press}
}