D. Béchet
,
Minimality of the correctness criterion for multiplicative proof nets