Descendants and Origins in Term Rewriting (2007)
Inge Bethke Jan, Jan Willem Klop, Roel De Vrijer
In this paper we treat various aspects of a notion that is central in term rewriting, namely that of descendants or residuals. We address both first order term rewriting and -calculus, their finitary...