Jos C. M. Baeten Jan A. Bergstra Jan Willem Klop Term Rewriting Systems with Priorities. 83-94 1987 conf/rta/87 RTA db/conf/rta/rta87.html#BaetenBK87 http://dx.doi.org/10.1007/3-540-17220-3_8