Proving termination with Multiset Orderings.

Nachum Dershowitz, Zohar Manna

Browse the full ICALP paper archive.