id: 70111225
dt: a
an: 70111225
au: Pentus, Mati
ti: Equivalence of multiplicative fragments of cyclic linear logic and
    noncommutative linear logic
so: LFCS, 306-311 (1997).
py: 1997
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/3-540-63045-7_31