1. S. Abramsky. Computational interpretations of linear logic. Theoretical Computer Science, 111(1–2):3–58, 1993.
2. V. Alexiev. Applications of Linear Logic to Computation: An Overview. Bulletin of the IGPL, 2(1):77–107, 1994.
3. J.M. Andreoli and R. Pareschi. Logic programming with sequent systems: A linear logic approach. In Int. Workshop on Extensions of Logic Programming, LNCS 475, pages 1–30, Tübingen, Germany, December 1989.
4. J.M. Andreoli and R. Pareschi. Linear objects: logical processes with built-in inheritance. In 7th Conference on Logic Programming, MIT Press, pages 495–510, Jerusalem, June 1990.
5. J.M. Andreoli, R. Pareschi, and M. Bourgois. Dynamic programming as multiagent programming. In ECOOP'91 — Workshop on Object-Based Concurrent Computing, LNCS 612, pages 163–176, Genova, July 1991. Springer-Verlag.