Proving and disproving confluence of context-sensitive rewriting | Publicación