Loukanova, R. “Restricted Computations and Parameters in Type-Theory of Acyclic Recursion”. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, vol. 12, no. 1, July 2023, p. e29081, doi:10.14201/adcaij.29081.