1. R. Banach, The algebraic theory of interaction nets, Math. Systems Theory, submitted.
2. Proof nets for multiplicative and additive linear logic;Bellin,1991
3. La Logique Linéare Appliquée à l'Éttude de Divers Processus de Normalisaiton (Principalement du Lambda-Calcul);Danos,1990
4. A sweepline algorithm for Voronoi diagrams;Fortune;Algorithmica,1987
5. J. Gallier, Constructive logics. Part II: linear logic and proof nets, Theoret. Comput. Sci., to appear.