Loukanova, R. Restricted Computations and Parameters in Type-Theory of Acyclic Recursion. ADCAIJ 2023, 12, e29081.