Rachid Echahed Inductively Sequential Term-Graph Rewrite Systems. 84-98 2008 ICGT http://dx.doi.org/10.1007/978-3-540-87405-8_7 conf/gg/2008 db/conf/gg/icgt2008.html#Echahed08