@inproceedings{KPS+09,
  author    = {R. Kontchakov and
               L. Pulina and
               U. Sattler and
               T. Schneider and
               P. Selmer and
               F. Wolter and
               M. Zakharyaschev},
  title     = {Minimal Module Extraction from {DL-Lite} Ontologies using {QBF} Solvers},
  booktitle = {Proceedings 21st Int. Joint Conf. on Artificial Intelligence (IJCAI)},
  pages     = {836-841},
  year      = 2009,
  ee        = {http://ijcai.org/papers09/Papers/IJCAI09-143.pdf}
}