"Efficient Computation of Polynomial Explanations of Why-Not Questions."

Nicole Bidoit, Melanie Herschel, Aikaterini Tzompanaki (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics