##article.return## Decidability of equations and first-order theory in Seifert 3-manifold groups Download Download PDF