A new method for proving termination of AC-rewrite systems (1990)

by D Kapur, G Sivakumar, H Zhang
Venue:In Proc. of Tenth Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Comput. Sci