Boarotto F, Lerario A. Homotopy properties of horizontal path spaces and a theorem of Serre in subriemannian geometry. Communications in Analysis and Geometry. 2017  ;25:269?301.