Implementing Efficient Resource Management for Linear Logic Programming | Publicación