arXiv 2001-03-26 EN The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete Diekert, Volker · Gutierrez, Claudio · Hagenah, Christian
