A Uniform Proof-Theoretic Investigation of Linear Logic Programming (1994)

by J Harland, D J Pym
Venue:Journal of Logic and Computation