Proving Termination with Multiset Orderings (1979)

by N Dershowitz, Z Manna
Venue:In Proceedings of the Sixth International Colloquium on Automata, Languages and Programming, LNCS 71