Assem, A. The Power of the Depth of Iteration in Defining Relations by Induction. IJLLIS 2016, 3.