Permutative Logic

2005

Gabriele Pulcini, Jean-Marc Andreoli, Paul Ruet

in CSL

Download: pl05.pdf

BibTeX