David J. Pym, James Harland. A Uniform Proof-Theoretic Investigation of Linear Logic Programming. Journal of Logic and Computation, 4(2):175-207, 1994.
@article{PymH94,
title = {A Uniform Proof-Theoretic Investigation of Linear Logic Programming},
author = {David J. Pym and James Harland},
year = {1994},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/PymH94},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {4},
number = {2},
pages = {175-207},
}