Ayala Rincón, M.; Tavares Araújo, I. E. Unification Modulo Presburger Arithmetic and Other Decidable Theories. Rev. colomb. comput. 2001, 2, 1-14.