Bounded, strongly sequential and forward-branching term rewriting systems (1994)

by I Durand
Venue:Journal of Symbolic Computation