Comparing and synthesizing integrity checking methods for deductive databases | Publicación