Axiom Pinpointing in General Tableaux.

Franz Baader, Rafael Pealoza

Browse the full TABLEAUX paper archive.