Proof theory for theories of ordinals III: Π_N-reflection - Toshiyasu Arai (2010)