Arnold Beckmann Jan Johannsen An unexpected separation result in Linearly Bounded Arithmetic. 191-200 2005 51 Math. Log. Q. 2 http://dx.doi.org/10.1002/malq.200410019 db/journals/mlq/mlq51.html#BeckmannJ05