Arnold Beckmann Benedikt Löwe Dag Normann Logical Approaches to Computational Barriers: CiE 2006. 1021-1023 2007 17 J. Log. Comput. 6 http://dx.doi.org/10.1093/logcom/exm031 db/journals/logcom/logcom17.html#BeckmannLN07