Download Paper

 @inproceedings{arif2015efficient,
  title={Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing},
  author={Arif, M Fareed and Menc{\'\i}a, Carlos and Marques-Silva, Joao},
  booktitle={International Conference on Theory and Applications of Satisfiability Testing},
  pages={324--342},
  year={2015},
  organization={Springer}
}