@InProceedings{Pen-DL08,
  author = {Rafael Pe{\~n}aloza},
  title = {Automata-based Pinpointing for DLs},
  booktitle = {Proceedings of the 2008 International Workshop on Description Logics ({DL2008})},
  year = {2008},
  volume = 353,
  series = {CEUR-WS},
}