@inProceedings{BruGugLPAR03,
   author =    {Bruscoli, Paola and Guglielmi, Alessio},
   title =     {On Structuring Proof Search for First Order Linear Logic},
   editor =    {Vardi, Moshe Y. and Voronkov, Andrei},
   booktitle = {LPAR 2003},
   year =      2003,
   publisher = {Springer-Verlag},
   series =    {Lecture Notes in Artificial Intelligence},
   volume =    2850,
   pages =     {389--406}
}