Comparing and synthesizing integrity checking methods for deductive databases (1994)

by M Celma, C Garc'i, L Mota, H Decker
Venue:In Proceedings of the 10th IEEE Conference on Data Engineering