1. Danos, V., Regnier, L.: The structure of the multiplicatives. Archive for Mathematical logic 28 (1989)
2. David, R., Kesner, D.: An arithmetical strong-normalisation proof for reduction modulo in proof-nets, draft
3. Geuvers, H., Loeb, I.: Natural Deduction via Graphs: Formal Definition and Computation Rules. In: MSCS (to appear),
http://www.cs.ru.nl/~herman/PUBS/gd.pdf
4. Girard, J.-Y.: Linear Logic. Theoretical Computer Science 50(1), 1–101 (1987)
5. Puite, Q.: Proof Nets with Explicit Negation for Multiplicative Linear Logic, Preprint 1079, Department of Mathematics, Utrecht University (1998)