R. Loukanova, «Restricted Computations and Parameters in Type-Theory of Acyclic Recursion», ADCAIJ, vol. 12, n.º 1, p. e29081, jul. 2023.