35 citations · 56 across the 9 of their papers we have counts for
1 paper · 2 filters
Max Tuengerthal, Ralf Kuesters, Mathieu Turuani
In this paper, we propose a unification algorithm for the theory E which combines unification algorithms for $E\_{\std}$ and $E\_{\ACUN}$ (ACUN properties, like XOR) but compared…