Integrity Constraint Checking in Distributed Nested Transactions over a Database Cluster. - Stéphane Gançarski; Claudia León; Hubert Naacke; Marta Rukoz; Pablo Santini (CLEI Electron. J., 2006)