Ayala Rincón, M., y I. 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://revistas.unab.edu.co/index.php/rcc/article/view/1112.