Return to Article Details Interval Term Rewriting System: Toward A Formal Model for Interval Computation Download Download PDF