Confluence of Conditional Rewriting in Logic Form | Publicación