Foto N. Afrati Phokion G. Kolaitis Repair checking in inconsistent databases: algorithms and complexity. 31-41 2009 ICDT http://doi.acm.org/10.1145/1514894.1514899 conf/icdt/2009 db/conf/icdt/icdt2009.html#AfratiK09