Pablo López, Ernesto Pimentel. Resource Management in Linear Logic Search Revisited. In Harald Ganzinger, David A. McAllester, Andrei Voronkov, editors, Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings. Volume 1705 of Lecture Notes in Computer Science, pages 304-319, Springer, 1999.
@inproceedings{LopezP99,
title = {Resource Management in Linear Logic Search Revisited},
author = {Pablo López and Ernesto Pimentel},
year = {1999},
tags = {logic, search},
researchr = {https://researchr.org/publication/LopezP99},
cites = {0},
citedby = {0},
pages = {304-319},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
editor = {Harald Ganzinger and David A. McAllester and Andrei Voronkov},
volume = {1705},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66492-0},
}