On the Modularity of Termination of Term Rewriting Systems (1993)

by Enno Ohlebusch
Venue:Theoretical Computer Science