Planar and braided proof-nets for multiplicative linear logic with mix
scientific article; zbMATH DE number 1210620