Permutative Logic. - Andreoli, Jean-Marc; Pulcini, Gabriele; Ruet, Paul (2005)