Proving Confluence in the Confluence Framework with CONFident | Publicación