@inproceedings{CueHorKazSat:07:Extracting,
  title = "Extracting Modules From Ontologies: A Logic-based Approach",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2007",
  address = "Innsbruck, Austria",
  booktitle = "OWL: Experiences and Directions 2007 (OWLED 2007)",
  month = "June 6--7",
  url = "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-258/",
}