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

by Bounded
Venue:Journal of Symbolic Computation