TY  - RPRT
TI  - Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
AU  - M. Fareed Arif
AU  - Carlos Mencía
AU  - Joao Marques-Silva
PY  - 2015
UR  - https://arxiv.org/abs/1505.04365
ID  - 1505.04365
ER  -