On termination of one rule rewrite systems (1994)

by Pierre Lescanne
Venue:Theoretical Computer Science