Skordev, D. 1991. ON THE REDUCTION OF POLYADIC RECURSIVE PROGRAMS TO MONADIC ONES. Ann. Sofia Univ. Fac. Math. and Inf. 82, 1 (Dec. 1991), 173–181.