1. Non-commutative logic I: The multiplicative fragment;Abrusci;Annals of Pure and Applied Logic,2000
2. Permutative logic;Andreoli,2005
3. Planar and braided proof-nets for multiplicative linear logic with mix;Bellin;Archive for Mathematical Logic,1998
4. Introduction to Theory of Groups of Finite Order;Carmichael,2000
5. Two-dimensional proof-structures and the exchange rule;Gaubert;Mathematical Structures in Computer Science,2004