@InProceedings{Grau-Horrocks-Kazakov-Sattler-07,
  author    = {Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  title     = {A Logical Framework for Modularity of Ontologies},
  booktitle = {Proceedings of IJCAI'07: the 20th International Joint
               Conference on Artificial Intelligence, Hyderabad, India, January 6--12, 2007},
  editor    = {Manuela M. Veloso},
  year      = {2007},
  pages     = {298--303},
}