Internal Calculi for Separation Logics | Publicación