Proving Confluence in the Confluence Framework with CONFident

Raúl Gutiérrez, Salvador Lucas, Miguel Vítores

This article describes the *Confluence Framework*, a novel framework for proving and disproving confluence using a divide-and-conquer modular strategy, and its implementation in CO…