[EN] This article describes the confluence framework, , a novel framework for proving disproving confluence using a divide-and-conquer modular strategy, and its implementation CONFident. . Using this approach, we are able ...