@article{hal-00009136, author = {Laurent, Olivier}, title = {Polarized Proof-Nets: Proof-Nets for LC}, journal = {HAL}, volume = {1999}, number = {0}, year = {1999}, language = {en}, url = {http://dml.mathdoc.fr/item/hal-00009136} }
Laurent, Olivier. Polarized Proof-Nets: Proof-Nets for LC. HAL, Tome 1999 (1999) no. 0, . http://gdmltest.u-ga.fr/item/hal-00009136/