Paolo Baldan Clara Bertolissi Horatiu Cirstea Claude Kirchner A rewriting calculus for cyclic higher-order term graphs. 363-406 2007 17 Mathematical Structures in Computer Science 3 http://dx.doi.org/10.1017/S0960129507006093 db/journals/mscs/mscs17.html#BaldanBCK07