A compact fixpoint semantics for term rewriting systems | Publicación