Harris, Terence 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, https://doi.org/10.5186/aasfm.2020.4529.