CARVALHO, A.X.; SANTIAGO, R.H.N. Interval Term Rewriting System: Toward A Formal Model for Interval Computation. Trends in Computational and Applied Mathematics, [S. l.], v. 7, n. 2, p. 249–258, 2006. DOI: 10.5540/tema.2006.07.02.0249. Disponível em: https://tcam.sbmac.org.br/tema/article/view/252. Acesso em: 3 jul. 2024.