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