Thomas Ehrhard, Ying Jiang.CCS for trees.2013.Slides of a talk given at the workshop LOCALI 2013 (Beijing).pdf.

Thomas Ehrhard.A new correctness criterion for MLL proof nets.2014.Accepted at LICS'14. This criterion was first published by
C. Rétoré in TCS 294(3):473-488, 2003. I rediscovered it
independently (my presentation is slightly more general)
and I am convinced that it is worth being further studied.pdf.