40 citations · 76 across the 3 of their papers we have counts for
1 paper · 2 filters
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…