Harold Schellinx Some Syntactical Observations on Linear Logic. 537-559 1991 1 J. Log. Comput. 4 db/journals/logcom/logcom1.html#Schellinx91 http://dx.doi.org/10.1093/logcom/1.4.537