@inproceedings{e65c079373134f498a1efad533de9394,
title = "Axiom pinpointing using an assumption-based truth maintenance system",
author = "Hai Nguyen and Natasha Alechina and Brian Logan",
year = "2012",
language = "English",
volume = "846",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",
pages = "290--300",
booktitle = "Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012",
note = "25th International Workshop on Description Logics, DL 2012, DL 2012 ; Conference date: 07-06-2012 Through 10-06-2012",
}