A slick procedure for integrity checking in deductive databases (1994)

by H Decker, M Celma
Venue:Proceedings of ICLP'94