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