Carnielli, W.; Marcos, J.; de Amo, S. Formal Inconsistency and Evolutionary Databases. LLP 2004, 8, 115-152.