"The Complexity of Decomposing Modal and First-Order Theories."

Stefan Göller, Jean Christoph Jung, Markus Lohrey (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics