Roberto Maieli A new correctness criterion for multiplicative non-commutative proof nets. 205-220 2003 42 Arch. Math. Log. 3 http://dx.doi.org/10.1007/s001530100127 db/journals/aml/aml42.html#Maieli03