Kamareddine F, Monin F, Ayala Rincón M. On automating the extraction of programs from termination proofs. Rev. colomb. comput. [Internet]. 1 de diciembre de 2003 [citado 23 de agosto de 2025];4(2):1-20. Disponible en: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1088