Generalizing Newman’s Lemma for Left-Linear Rewrite Systems | Publicación