1. Andreoli, J-M., Borghoff, U., Pareschi, R. (1994). Constraint Based Knowledge Brokers. Proc. of PASCO'94, Linz., Austria.
2. Andreoli, J-M., Castagnetti, T., Pareschi, R. (1993). Abstract Interpretation of Linear Logic Proofs. Proc. of ILPS'93, Vancouver, Canada.
3. Andreoli, J-M., Ciancarini, P., Pareschi, R. (1993). Interaction Abstract Machines. In Agha, G., Yonezawa, A. and Wegner, P. Eds, Research Directions in Concurrent Object Oriented Programming. MIT Press, Cambridge, Ma.
4. Andreoli, J-M., Pareschi, R. (1991). Communication as Fair Distribution of Knowledge. Proc. of OOPSLA '91, Phoenix, Az, U.S.A.
5. Borghoff, U. (1994). LoKit, a Toolkit for building Collaborative Applications. Rank Xerox Research Centre, Grenoble, France, Technical Report.