Isolating Resource Consumption in Linear Logic Proof Search | Publicación