“NA-CAP: The Limits of Computation, 10–12 July”. 2008. The Reasoner 2 (8). https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/26264.