Carvalho A, Santiago R. Interval Term Rewriting System: Toward A Formal Model for Interval Computation. Trends Comput. Appl. Math. [Internet]. 2006 Jun. 1 [cited 2024 Nov. 14];7(2):249-58. Available from: https://tema.sbmac.emnuvens.com.br/tema/article/view/252