LOUKANOVA, R. Restricted Computations and Parameters in Type-Theory of Acyclic Recursion. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, [S. l.], v. 12, n. 1, p. e29081, 2023. DOI: 10.14201/adcaij.29081. Disponível em: https://revistas.usal.es/cinco/index.php/2255-2863/article/view/29081. Acesso em: 10 jul. 2025.