Automata-Based Axiom Pinpointing

Cite this paper

@article{Baader2008AutomataBasedAP, title={Automata-Based Axiom Pinpointing}, author={Franz Baader and Rafael Pe{\~n}aloza}, journal={Journal of Automated Reasoning}, year={2008}, volume={45}, pages={91-129} }