Relational calculi in a deductive system | Publicación