Proving Termination with Multiset Orderings (1979)

by N Derschowitz, Z Manna
Venue:In Communications of the ACM