Mazzoli, F. Constant Gaussian Curvature Foliations and Schläfli Formulae of Hyperbolic 3-Manifolds. Annali Scienze 2024, 25, 1225-1266.