Sin Yeung Lee, Tok Wang Ling. Improving Integrity Constraint Checking for Stratified Deductive Databases. In Dimitris Karagiannis, editor, Database and Expert Systems Applications, 5th International Conference, DEXA 94, Athens, Greece, September 7 - 9, 1994, Proceedings. Volume 856 of Lecture Notes in Computer Science, pages 591-600, Springer, 1994.
Abstract is missing.