Grefen, P. and Widom, J. (1996) Integrity Constraint Checking in Federated Databases. In: First IFCIS International Conference on Cooperative Information Systems (CoopIS'96), June 19-21, 1996, Brussels, Belgium.