Bellin, G. (1991). Proof nets for multiplicative and additive linear logic.
Chicago-Zitierstil (17. Ausg.)Bellin, Gianluigi. Proof Nets for Multiplicative and Additive Linear Logic. Edinburgh, 1991.
MLA-Zitierstil (9. Ausg.)Bellin, Gianluigi. Proof Nets for Multiplicative and Additive Linear Logic. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.