Ofer Arieli Marc Denecker Bert Van Nuffelen Maurice Bruynooghe Computational methods for database repair by signed formulae. 4-37 2006 46 Ann. Math. Artif. Intell. 1-2 http://dx.doi.org/10.1007/s10472-005-9012-z db/journals/amai/amai46.html#ArieliDNB06