"A comparison of strategies for tolerating inconsistencies during ..."

Alexander Nöhrer, Armin Biere, Alexander Egyed (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics