Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke. Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. In Sixth International Conference on Very Large Data Bases, October 1-3, 1980, Montreal, Quebec, Canada, Proceedings. pages 126-136, IEEE Computer Society, 1980. [doi]