Decision problems in ordered rewriting | Publicación