Ayala Rincón, M. y Tavares Araújo, I. E. (2001) «Unification modulo presburger arithmetic and other decidable theories», Revista Colombiana de Computación, 2(2), pp. 1–14. Disponible en: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1112 (Accedido: 23 agosto 2025).