An integrity constraint checking method for temporal deductive databases | Publicación