@InProceedings{KoLuWaWo-ModBook08,
  author = 	 {Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter},
  title = 	 {Formal Properties of Modularisation},
  booktitle = {Proceedings of the 4th International Joint Conference on Automated Reasoning ({IJCAR2008})},
  year = {2008},
  publisher = {Springer},
  editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
  pages = {179--193},
  number = {5195},
  series = {LNCS},
 }