Permutative Logic.

Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet

Browse the full CSL paper archive.