@article{StraTCS03, author = {Stra{\ss}burger, Lutz}, title = {{MELL} in the Calculus of Structures}, year = 2003, journal = {Theoretical Computer Science}, volume = 309, number = {1--3}, pages = {213--285} }