@inproceedings{StrLam04,
author =      "Lutz Stra{\ss}burger and Fran\c{c}ois Lamarche",
title  =      "On Proof Nets for Multiplicative Linear Logic with Units",
booktitle =   {Computer Science Logic, CSL 2004},
publisher =   {Springer-Verlag},
volume =      3210,
pages =       {145--159},
editor =      {Jerzy Marcinkowski and Andrzej Tarlecki},
series =      {Lecture Notes in Computer Science},
year =        2004
}