David Chemouil An insertion operator preserving infinite reduction sequences. 693-728 2008 18 Mathematical Structures in Computer Science 4 http://dx.doi.org/10.1017/S0960129508006816 db/journals/mscs/mscs18.html#Chemouil08