Ayala Rincón, Mauricio, y Ivan E. Tavares Araújo. 2001. «Unification Modulo Presburger Arithmetic and Other Decidable Theories». Revista Colombiana De Computación 2 (2):1-14. https://revistas.unab.edu.co/index.php/rcc/article/view/1112.