A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming | Publicación