Term rewriting systems with rule priorities
Baeten, JCM Jos, Jan Aldert Bergstra, Klop, JW Jan Willem, W. P. Weijland · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1988
Discusses term-rewriting systems with rule priorities, which simply is a partial ordering on the rules. The procedural meaning of such an ordering then is, that the application of a rule of lower priority is allowed only if no rule of higher priority is applicable. The semantics of such a system is discussed. It turns out that the class of all bounded systems indeed has such a semantics