Term-rewriting systems with rule priorities. Theoretical Computer Science, 67(2/3):283{301 (1989)

by J C M Baeten, J A Bergstra, J W Klop, W P Weijland
Venue:Proceedings 14th Colloquium on Automata, Languages and Programming (ICALP'87), Karlsruhe, LNCS 267