Harris, T. L. J. “An a.e. Lower Bound for Hausdorff Dimension under Vertical Projections in the Heisenberg Group”. Annales Fennici Mathematici, vol. 45, no. 2, Aug. 2020, pp. 723–737, doi:10.5186/aasfm.2020.4529.