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