Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs.
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (3), pp.363-406.
⟨10.1017/S0960129507006093⟩.
⟨inria-00110872⟩