Harris, T. L. J. (2020) “An a.e. lower bound for Hausdorff dimension under vertical projections in the Heisenberg group”, Annales Fennici Mathematici, 45(2), pp. 723–737. doi: 10.5186/aasfm.2020.4529.