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 (dic. 2001), 1–14.