Bartels, A., & Lück, W. (2012). Geodesic flow for CAT(0)-groups. Geometry & Topology, 16(3), 1345-1391. doi:10.2140/gt.2012.16.1345.