FOLRE: A deductive database system for the integrated treatment of updates | Publicación