Axiom Pinpointing in General Tableaux

Cite this paper

@article{Baader2007AxiomPI, title={Axiom Pinpointing in General Tableaux}, author={Franz Baader and Rafael Pe{\~n}aloza}, journal={J. Log. Comput.}, year={2007}, volume={20}, pages={5-34} }