The Complexity of Decomposing Modal and First-Order Theories | IEEE Conference Publication | IEEE Xplore