db/conf/cikm/MartinAD92.html Hervé Martin Michel E. Adiba Bruno Defude Consistency Checking in Object Oriented Databases: a Behavioral Approach. 53-68 CIKM/1992/P053.pdf 1992 conf/cikm/1992 CIKM db/conf/cikm/cikm92.html#MartinAD92