A. Beckmann, J Johannsen: "An unexpected separation result in linearly bounded arithmetic"; Mathematical Logic Quarterly, 51 (2005), 2; 191 - 200.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936151