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