Ayala Rincón, Mauricio, y Ivan E. Tavares Araújo. «Unification Modulo Presburger Arithmetic and Other Decidable Theories». Revista Colombiana de Computación 2, no. 2 (diciembre 1, 2001): 1–14. Accedido agosto 23, 2025. https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1112.