# Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing

Published in 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), 2015

Recommended citation: M. Fareed Arif, and Carlos Mencia and Joao Marques-Silva, KI 2015

 @inproceedings{arif2015efficient,