Ayala Rincón, M., & Tavares Araújo, I. E. (2001). Unification modulo presburger arithmetic and other decidable theories. Revista Colombiana De Computación, 2(2), 1–14. Recuperado a partir de https://revistas.unab.edu.co/index.php/rcc/article/view/1112