Internal Calculi for Separation Logic | Publicación