Just

swMATH16743MaRDI QIDQ28611FDOQ28611

Author name not available (Why is that?)

Cited In (3)

• Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
• BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
• Understanding the complexity of axiom pinpointing in lightweight description logics

This page was built for software: Just