Iterated trees and fragments of arithmetic - Yang, Y. (2014)
10.1007/BF01270390