PROOFS OF REFAL-5 FUNCTION BELONGING TO SOME SUBCLASSES OF FP-SPACE. Comput. Tools Educ. [Internet]. 2013 Jun. 30 [cited 2026 Oct. 24];(3). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1345