Querying Inconsistent Databases: Algorithms and Implementation. - Alexander Celle; Leopoldo E. Bertossi (Computational Logic, 2000)