@inproceedings{GrauDL06debug,
  title = "Beyond Asserted Axioms: Fine-Grain Justifications for {OWL-DL} Entailments",
  author = "Aditya Kalyanpur and Bijan Parsia and Evren Sirin and Bernardo {Cuenca Grau}",
  year = "2006",
  booktitle = "DL 2006, Proceedings of the 19th International Workshop on Description Logics, Lake District, UK, June 2006",
}