A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems | Publicación