1. M. Celma. Comprobación de la integridad en bases de datos deductivas: un método basado en el almacenamiento de los caminos de derivatión. PhD thesis, DSIC (UPV), 1992.
2. M. Celma, J.C. Casamayor, L. Mota, M.A. Pastor, and F. Marqués. A derivation Path Recording Method for Integrity Checking in Deductive Databases. In 2nd International Workshop on the Deductive Approach to Information Systems and Databases, pages 15–17, Aiguablava (Catalunya), 1991.
3. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic generation of Production Rules for Integrity Maintenance. ACM Transactions on Database Systems, 19(3), 1994.
4. S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proc. of the 16th Int. Conf. on VLDB, 1990.
5. M. Gertz. An extensible Framework for Repairing Constraint Violations. 1996. Internet.