11 citations · 19 across the 5 of their papers we have counts for
1 paper · 1 filter
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
AC-completion efficiently handles equality modulo associative and commutative function symbols. When the input is ground, the procedure terminates and provides a decision algorithm…