Poincaré's polyhedron theorem for cocompact groups in dimension 4 - Ananin, Alexandre; Grossi, Carlos Henrique; Silva, Júlio C. C. da (Moscow Mathematical Journal, 2014)