Resource Management in Linear Logic Proof Search Revisited | Publicación