Recursive Terms in Semantic Programming - Goncharov, S. S.; Sviridenko, D. I. (Siberian Mathematical Journal, 2018)