M. Ayala Rincón y I. E. Tavares Araújo, «Unification modulo presburger arithmetic and other decidable theories», Rev. colomb. comput., vol. 2, n.º 2, pp. 1–14, dic. 2001.