1. Barbard, D. and Garcia-Molina, H. The Demarcation Protocol: A Technique for Maintaining Linear Arithmetic Constraints in Distributed Database Systems. Extending Database Technology Conference, LNCS 580, March 1992, pp. 373–397.
2. Grefen, W.P.J., Flokstra, J. and Apers, P.M.G. Parallel Handling of Integrity Constraints. Proceedings of the Prisma Workshop, 1990, pp. 242–258.
3. Grefen, P.W.P.J. and Apers, P.M.G. Parallel Handling of Integrity Constraints On Fragment Relations. Proceedings of the 2nd DEXA Conference, Germany, August 1991.
4. Gupta, A. and Widom, J. Local Verification of Global Integrity Constraints in Distributed Databases. ACM SIGMOD, 1993, pp. 49–58.
5. Henschen, L.J., McCune, W.W. and Naqvi, S.A. Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Database Theory, Vol. 2, Gallaire, H., Minker, J. and Nicolas, J.M., Eds. Plenum Press, 1984, pp. 145–170.