Stefan Kahrs Infinitary rewriting: meta-theory and convergence. 91-121 2007 44 Acta Inf. 2 http://dx.doi.org/10.1007/s00236-007-0043-2 db/journals/acta/acta44.html#Kahrs07