1. Samson Abramsky and Radha Jagadeesan. Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic, 59(2):543–574, June 1994.
2. Jean-Marc Andreoli and Remo Pareschi. Linear Objects: Logical processes with built-in inheritance. New Generation Computing, 9:445–473, 1991.
3. Gerhard Gentzen. Investigations into logical deduction. In M. E. Szabo, editor, The Collected Papers of Gerhard Gentzen, pages 68–131. North-Holland, Amsterdam, 1969.
4. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.
5. Alessio Guglielmi. Concurrency and plan generation in a logic programming language with a sequential operator. In P. Van Hentenryck, editor, Logic Programming, 11th International Conference, S. Margherita Ligure, Italy, pages 240–254. The MIT Press, 1994.