Commutative Locative Quantifiers for Multiplicative Linear Logic. - Stefano Guerrini; Patrizia Marzuoli (ICALP (2), 2006)