Alessio Guglielmi Lutz Straßburger Non-commutativity and MELL in the Calculus of Structures. 54-68 2001 conf/csl/2001 CSL http://link.springer.de/link/service/series/0558/bibs/2142/21420054.htm db/conf/csl/csl2001.html#GuglielmiS01