Bertram Fronhöfer Linear Proofs and Linear Logic. 106-125 1992 conf/jelia/1992 JELIA db/conf/jelia/jelia92.html#Fronhofer92 http://dx.doi.org/10.1007/BFb0023424