@Article{LORIA-1998-Bec-MSCS,
 author       = {Denis B\'echet},
 title        = {Minimality of the correctness criterion for multiplicative proof nets},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {8},
 pages        = {543--558},
 year         = 1998,
 ISSN         = {0960-1295}
}