W. Carnielli, J. Marcos, and S. de Amo, “Formal inconsistency and evolutionary databases”, LLP, vol. 8, no. 8, pp. 115–152, Jan. 2004.