Dominique Duval Rachid Echahed Frédéric Prost A Cloning Pushout Approach to Term-Graph Transformation http://arxiv.org/abs/0811.3400 2008 CoRR abs/0811.3400 db/journals/corr/corr0811.html#abs-0811-3400 informal publication