Applying transition rules to bitemporal deductive databases for integrity constraint checking | Publicación