Leopoldo E. Bertossi Camilla Schwind Database Repairs and Analytic Tableaux. 5-35 2004 40 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai40.html#BertossiS04