On solving equations and disequations

We are interested in the problem of solving a system 〈s l = t l : 1 ≤ i ≤ n, p j ≠ q j : 1 ≤ j ≤ m 〉 of equations and disequations, also known as disunification . Solutions to disunification problems are substitutions for the variables of the problem that make the two terms of each equation equal, b...

Ausführliche Beschreibung