Relational Logic with Framing and Hypotheses | Publicación