Integrity Checking in Deductive Databases. The Ultimate Method (1995)

by M Celma, H Decker
Venue:Proceedings of the 5th Australiasian Database Conference