TY  - RPRT
TI  - MALL proof nets identify proofs modulo rule commutation
AU  - Rob van Glabbeek
AU  - Dominic Hughes
PY  - 2016
UR  - https://arxiv.org/abs/1609.04693
ID  - 1609.04693
ER  -