R. Loukanova, “Restricted Computations and Parameters in Type-Theory of Acyclic Recursion”, ADCAIJ, vol. 12, no. 1, p. e29081, Jul. 2023.