Y. Lierler and M. Truszczynski, “An Abstract View on Modularity in Knowledge Representation”, AAAI, vol. 29, no. 1, Feb. 2015.