related documents On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras Conference Proceeding
