"Extending the Notion of Preferred Explanations for Quantified Constraint ..."

Deepak Mehta, Barry O'Sullivan, Luis Quesada (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics