Pubblicazioni (Ruet, Paul)

Permutative Logic

Gabriele Pulcini, Jean-Marc Andreoli, Paul Ruet (2005) (pdf)