@inproceedings{BaPe-IJCAR08,
	title = {Automata-Based Axiom Pinpointing},
	author = {Franz Baader and Rafael Pe{\~n}aloza},
	booktitle = {Proceedings of the 4th International Joint Conference on Automated Reasoning, (IJCAR 2008)},
	year = {2008},
	editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
	volume = {5195},
	series = {Lecture Notes in Artificial Intelligence},
	pages = {226--241},
	publisher = {Springer},
	springer = {yes},
}