Paolo Di Giamberardino Claudia Faggian Proof nets sequentialisation in multiplicative linear logic. 173-182 2008 155 Ann. Pure Appl. Logic 3 http://dx.doi.org/10.1016/j.apal.2008.04.002 db/journals/apal/apal155.html#GiamberardinoF08