Lierler, Y.; Truszczynski, M. An Abstract View on Modularity in Knowledge Representation. AAAI 2015, 29.