R. Loukanova, “Eta-Reduction in Type-Theory of Acyclic Recursion”, ADCAIJ, vol. 12, no. 1, p. e29199, Jul. 2023.