@misc{indiciae2a21fc31b87d,
  title = {Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing},
  author = {M. Fareed Arif and Carlos Mencía and Joao Marques-Silva},
  year = {2015},
  url = {https://arxiv.org/abs/1505.04365},
  note = {Source identifier: 1505.04365}
}