On multiset orderings
References (3)
Ordering for term rewriting systems
Proc. 20th Symp. on Foundations of Computer Science
(1979)
There are more references available in the full text version of this article.
Cited by (30)
Equational Logic and Rewriting
2014, Handbook of the History of LogicOn the definition of forward and backward citation generations
2011, Journal of InformetricsChapter 1 Knowledge Representation and Classical Logic
2008, Foundations of Artificial IntelligenceLeanest quasi-orderings
2007, Information and ComputationAn induction principle for pure type systems
2001, Theoretical Computer ScienceConfluence by decreasing diagrams
1994, Theoretical Computer Science
Copyright © 1982 Published by Elsevier B.V.