Geoffrey E. Ostrin, Stanley S. Wainer. Complexity in Predicative Arithmetic. In S. Barry Cooper, Benedikt Löwe, Leen Torenvliet, editors, New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings. Volume 3526 of Lecture Notes in Computer Science, pages 378-384, Springer, 2005. [doi]
Abstract is missing.