The horocycle flow is mixing of all degrees
Surface of Constant Negative Curvature and Finite Area
scientific article; zbMATH DE number 3613364