"Efficient MUS Enumeration of Horn Formulae with Applications to Axiom ..."

M. Fareed Arif, Carlos Mencía, João Marques-Silva (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics