Roberto Maieli Quintijn Puite Modularity of proof-nets. 167-193 2005 44 Arch. Math. Log. 2 http://dx.doi.org/10.1007/s00153-004-0242-2 db/journals/aml/aml44.html#MaieliP05