TY  - RPRT
TI  - Proving Confluence in the Confluence Framework with CONFident
AU  - Raúl Gutiérrez
AU  - Salvador Lucas
AU  - Miguel Vítores
PY  - 2024
DO  - 10.46298/fi.11515
UR  - https://arxiv.org/abs/2306.16330
ID  - 2306.16330
ER  -