## Paolo Volpe

*Concurrent Logic Programming as Uniform Linear Proofs*

PPDP, 1994.

@inproceedings{ALP-1994-Volpe, author = "Paolo Volpe", booktitle = "{Proceedings of the Fourth International Conference on Algebraic and Logic Programming}", doi = "10.1007/3-540-58431-5_11", isbn = "3-540-58431-5", pages = "133--149", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Concurrent Logic Programming as Uniform Linear Proofs}", volume = 850, year = 1994, }