1. Logic programming with focusing proofs in linear logic;Andreoli;J. Logic Comput.,1992
2. J-M. Andreoli, D. Arregui, F. Pacull, M. Riviere, J-Y. Vion-Dury, J. Willamowski, CLF/Mekano: a framework for building virtual-enterprise applications, in Proc. of EDOC’99 Manheim, Germany, 1999.
3. J-M. Andreoli, L. Leth, R. Pareschi, B. Thomsen, True concurrency semantics for a linear logic programming language with broadcast communication, in Proc. of TAPSOFT’93 Orsay, France, 1993.
4. J-M. Andreoli, R. Pareschi, From lambek calculus to word-based parsing, Technical Report, CIS, Ludwig Maximilian Universität, Munich, Germany, 1991. Proc. of the Workshop on Substructural Logic and Categorial Grammar.
5. Linear logic;Girard;Theoret. Comput. Sci.,1987