1. Abramsky, S., “Computational Interpretations of Linear Logic”,Theoretical Computer Science, 111, 1–2, pp. 3–57, 1993.
2. Andreoli, J-M., “Logic Programming with Focusing Proofs in Linear Logic,”Journal of Logic and Computation,2,3, 1992.
3. Andreoli, J-M., “Coordination in LO”, inCoordination Programming: Mechanisms, Models and Semantics (J-M. Andreoli, C. Hankin, and D. Le Metayer, eds.), Imperial College Press, pp. 42–64, 1996.
4. Andreoli, J-M., Borghoff, U., and Pareschi, R., “Constraint Based Knowledge Brokers,” inProc. of PASCO’94, Linz, Austria, 1994.
5. Andreoli, J-M., Ciancarini, P., and Pareschi, R., “Interaction Abstract Machines”, inResearch Directions in Concurrent Object Oriented Programming (G. Agha, A. Yonezawa, and P. Wegner, eds.), MIT Press, Cambridge, Ma, U.S.A., pp. 257–280, 1993.