Axiom pinpointing in general tableaux. (2010)

by F Baader, R Penaloza
Venue:J. Log. Comput.