Mario Ornaghi. Proof Nets. In LOPSTR. pages 61-79, 1992.
@inproceedings{Ornaghi92,
title = {Proof Nets},
author = {Mario Ornaghi},
year = {1992},
researchr = {https://researchr.org/publication/Ornaghi92},
cites = {0},
citedby = {0},
pages = {61-79},
booktitle = {LOPSTR},
}