1: \begin{abstract}

2: We prove that every finitely generated group $G$ discriminated by a locally quasi-convex torsion-free hyperbolic group $\Gamma$ is effectively coherent: 

3: that is, 

4: presentations for finitely generated subgroups can be computed from the subgroup generators.  We study $G$ via its embedding into an iterated centralizer 

5: extension of $\Gamma$, and prove that this embedding can be computed.  We also give algorithms to enumerate all finitely 

6: generated groups discriminated by $\Gamma$ and to decide whether a given group, with decidable word problem, is discriminated by $\Gamma$.

7: If $\Gamma$ may have torsion, we prove that groups obtained from $\Gamma$ by iterated amalgamated products with virtually abelian groups, over elementary 

8: subgroups, are effectively coherent.

9: \end{abstract}

10: