Confluence of Conditional Rewriting in Logic Form. - Raúl Gutiérrez; Salvador Lucas; Miguel Vítores (FSTTCS, 2021)

Confluence Framework: Proving Confluence with CONFident. - Raúl Gutiérrez; Miguel Vítores; Salvador Lucas (LOPSTR, 2022)

Proving and disproving confluence of context-sensitive rewriting. - Salvador Lucas; Miguel Vítores; Raúl Gutiérrez (J. Log. Algebraic Methods Program., 2022)

Proving Confluence in the Confluence Framework with CONFident. - Raúl Gutiérrez; Salvador Lucas; Miguel Vítores (Fundam. Informaticae, 2024)