The Complexity of Decomposing Modal and First-Order Theories.

Stefan Gller, Jean Christoph Jung, Markus Lohrey

Browse the full LICS paper archive.