1. A. Asperti. A linguistic approach to deadlock. Rapport de Recherche du Laboratoire d'Informatique de l'Ecole Normale Supérieure de Paris, LIENS-91-15, October 1991.
2. G. Bellin. Mechanizing Proof theory: Resource-Aware Logics and Proof-Transformations to Extract Implicit Information. Ph.D Thesis, Report CST-80-91, Dpt. of Computer Science, Univ. of Edinburgh. June 1990.
3. G. Bellin. Proof Nets for Multiplicative and Additive Linear Logic. Draft, 1993 (early version as Report LFCS-91-161, May 1991, Dept. of Comp. Science, Univ. of Edinburgh.)
4. G. Bellin, J. Ketonen. A decison procedure revisited: Notes on direct logic, linear logic and its implementation. Theoretical Computer Science, n.95, pp. 115–142. 1992.
5. G. Bellin, J. van de Wiele. Proof Nets and Typed lambda Calculus. I. Empires and Kingdoms. Draft. 1993.