S. Barry Cooper Benedikt Löwe Andrea Sorbi Logic and Computation in the Real World: CiE 2007. 1-2 2009 19 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exn020 db/journals/logcom/logcom19.html#CooperLS09