Automata-Based Axiom Pinpointing

Franz Baader, Rafael PeƱaloza. Automata-Based Axiom Pinpointing. Journal of Automated Reasoning, 45(2):91-129, 2010. [doi]

Abstract

Abstract is missing.