@incollection{CHKS09b,
  title = "Extracting Modules from Ontologies: A Logic-based Approach",
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2009",
  booktitle = "Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization",
  editor = "Heiner Stuckenschmidt and Christine Parent and Stefano Spaccapietra",
  pages = "159--186",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "download/2009/CHKS09b.pdf",
  volume = "5445",
}