Internal proof calculi for modal logics with separating conjunction | Publicación