G. Nagy, OláhG., and PorkolábZ., “Type Inference of Simple Recursive Functions in Scala”, Acta Cybern, vol. 25, no. 4, pp. 797-815, Oct. 2020.