1. Abramsky, S., Melliès, P.-A.: Concurrent games and full completeness. In: LICS 1999, pp. 431–442. IEEE Computer Society Press, Los Alamitos (1999)
2. Andreoli, J.-M., Pareschi, R.: Linear objects: Logical processes with built-in inheritance. In: Proceeding of ICLP 1990, Jerusalem (1990)
3. Andreoli, J.-M.: Proposal for a Synthesis of Logic and Object-Oriented Programming Paradigms. PhD thesis, University of Paris VI (1990)
4. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. of Logic and Computation 2(3), 297–347 (1992)
5. Baelde, D., Miller, D.: Least and greatest fixed points in LL (submitted, April 2007)