Operational semantics of term rewriting with priorities door J.C.v.d. Pol