"Decomposition theorems and model-checking for the modal ..."

Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics