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