@TechReport{-,
author      = {Stra{\ss}burger, Lutz},
title       = {Proof Nets and the Identity of Proofs},
year      =  {2006},
month     =  {10},
institution = {INRIA},
number      = {6013},
type      = {Research Report},
url= {https://hal.inria.fr/inria-00107260},
}