AYALA RINCÓN, Mauricio; TAVARES ARAÚJO, Ivan E. Unification modulo presburger arithmetic and other decidable theories. Revista Colombiana de Computación, [S. l.], v. 2, n. 2, p. 1–14, 2001. Disponível em: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1112. Acesso em: 23 ago. 2025.