Ayala Rincón M, Tavares Araújo IE. Unification modulo presburger arithmetic and other decidable theories. Rev. colomb. comput. [Internet]. 1 de diciembre de 2001 [citado 23 de agosto de 2025];2(2):1-14. Disponible en: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1112