@inproceedings{f60209b30c044d2d9908cf34e7110cad,
title = "Term rewriting systems with priorities",
abstract = "Term rewriting systems with rules of different priority are introduced. The semantics are explained in detail and several examples are discussed. Partial support was received from the European Communities under Esprit contract No.432, Meteor (An integrated formal approach to industrial software development)",
author = "J.C.M. Baeten and J.A. Bergstra and J.W. Klop",
year = "1987",
language = "English",
isbn = "3-540-17220-3",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "83--94",
booktitle = "Rewriting Techniques and Applications, Bordeaux, France, May 25-27, 1987 : proceedings / Ed. Pierre Lescanne",
address = "Germany",
}