TY  - RPRT
TI  - Proof Nets and the Identity of Proofs
AU  - Lutz Strassburger
PY  - 2006
UR  - https://arxiv.org/abs/cs/0610123
ID  - cs/0610123
ER  -