The Mix Rule. - Arnaud Fleury; Christian Retoré (Math. Struct. Comput. Sci., 1994)

Planar and braided proof-nets for multiplicative linear logic with mix. - Gianluigi Bellin; Arnaud Fleury (Arch. Math. Log., 1998)