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