Zena Matilde Ariola
Harvard Univ., Cambridge, MA
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae