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 24 de abril de 2024];4(2):1-20. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/1088