Pierre-Louis Curien Claudia Faggian L-Nets, Strategies and Proof-Nets. 167-183 2005 conf/csl/2005 CSL http://dx.doi.org/10.1007/11538363_13 db/conf/csl/csl2005.html#CurienF05