KAMAREDDINE, Fairouz; MONIN, François; AYALA RINCÓN, Mauricio. 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://revistasunabeduco.biteca.online/index.php/rcc/article/view/1088. Acesso em: 23 ago. 2025.