Relative termination, a generalized notion of termination, has been used in a number of different contexts like proving the confluence of rewrite systems or analyzing the termination of narrowing. In this paper, we introduce ...
[EN] A term rewrite system is terminating when no infinite reduction sequences are
possible. Relative termination generalizes termination by permitting infinite reductions as
long as some distinguished rules are not applied ...