SEARCH Articles Figures Tables Recursion Recursive Step 4 Syntactic Introduction of the Recursive Atoms