Automata-based axiom pinpointing
scientific article; zbMATH DE number 5797496
scientific article