KAMAREDDINE, F.; MONIN, F.; AYALA RINCÓN, M. On automating the extraction of programs from termination proofs. Revista Colombiana de Computación, [S. l.], v. 4, n. 2, p. 1–20, 2003. Disponível em: https://revistas.unab.edu.co/index.php/rcc/article/view/1088. Acesso em: 25 abr. 2024.