Loukanova, R. “Eta-Reduction in Type-Theory of Acyclic Recursion”. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, vol. 12, no. 1, July 2023, p. e29199, doi:10.14201/adcaij.29199.