@inproceedings{StraLSLL02,
   author =      {Lutz Stra{\ss}burger},
   title =       {A Local System for Linear Logic},
   year =        2002,
   booktitle =   {LPAR 2002},
   publisher =   {Springer-Verlag},
   volume =      2514,
   pages =       {388--402},
   editor =      {M. Baaz and A. Voronkov},
   series =      {Lecture Notes in Artificial Intelligence}
}