## 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, }