Andreas Herzig Ivan José Varzinczak On the Modularity of Theories. 93-109 2004 conf/aiml/2004 Advances in Modal Logic http://www.aiml.net/volumes/volume5/Herzig.ps db/conf/aiml/aiml2004.html#HerzigV04