М. Н. Прохоров, “Отсутствие дискретных групп отражений с некомпактным фундаментальным многогранником конечного объема в пространстве Лобачевского большой размерности”, Изв. АН СССР. Сер. матем., 50:2 (1986), 413–424 ; M. N. Prokhorov, “The absence of discrete reflection groups with noncompact fundamental polyhedron of finite volume in Lobachevskii space of large dimension”, Math. USSR-Izv., 28:2 (1987), 401–411