@InProceedings{KoLuWaWo-DL08,
  author =       {Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolte\
r},
  title =        {Logical Difference and Module Extraction with CEX and MEX},
  booktitle = {Proceedings of the 21st International Workshop on Description Lo\
\
gics ({DL2008})},
  year = {2008},
  series = {CEUR-WS},
  volume = {353}
 }