Christine Delcourt, Roberto Zicari. The Design of an Integrity Consistency Checker (ICC) for an Object-Oriented Database System. In Pierre America, editor, ECOOP 91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings. Volume 512 of Lecture Notes in Computer Science, pages 97-117, Springer, 1991. [doi]
Abstract is missing.