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://tema.sbmac.emnuvens.com.br/tema/article/view/252. Acesso em: 14 nov. 2024.