@InProceedings{HerzigVarzinczak-AiML04, author = {Herzig, Andreas and Varzinczak, Ivan José}, title = {On modularity of theories}, booktitle = {Proc. Int. Workshop on Advances in Modal Logic (AiML 2004)}, editor = {Reynolds, Mark and Wansing, Heinrich}, publisher = {}, address = {Manchester}, year = {2004}, }