James Harland, David J. Pym
The Uniform Proof-Theoretic Foundation of Linear Logic Programming
ICLP, 1991.
@inproceedings{ISLP-1991-HarlandP,
author = "James Harland and David J. Pym",
booktitle = "{Proceedings of the Eighth International Symposium on Logic Programming}",
isbn = "0-262-69147-7",
pages = "304--318",
publisher = "{MIT Press}",
title = "{The Uniform Proof-Theoretic Foundation of Linear Logic Programming}",
year = 1991,
}