T. L. J. Harris, “An a.e. lower bound for Hausdorff dimension under vertical projections in the Heisenberg group”, Ann. Fenn. Math., vol. 45, no. 2, pp. 723–737, Aug. 2020.