Immersed cycles and the JSJ decomposition

We present an algorithm to construct the JSJ decomposition of hyperbolic fundamental groups of a class of nonpositively curved square complexes. Our algorithm runs in double exponential time, and is the first algorithm on JSJ decompositions to have an explicit time bound.