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