Dershowitz, Nachum; Manna, Zohar Proving termination with multiset orderings. (English) Zbl 0431.68016 Commun. ACM 22, 465-476 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 159 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68W30 Symbolic computation and algebraic computation Keywords:bags; multiset ordering; production systems; program correctness; program termination; program verification; term rewriting systems; reduction rules PDF BibTeX XML Cite \textit{N. Dershowitz} and \textit{Z. Manna}, Commun. ACM 22, 465--476 (1979; Zbl 0431.68016) Full Text: DOI