Automata-Based Axiom Pinpointing.

Franz Baader, Rafael Pealoza

Browse the full CADE paper archive.