@TechReport{vdH:hivp-pre,
  author = 	 {M. Aschenbrenner and Dries, L. van den and
                  Hoeven, J. van der},
  title =        {Hardy Fields, the Intermediate Value Property,
                  and $\omega$-Freeness},
  institution =  {HAL},
  year = 	 {2019},
  note = 	 {\url{http://hal.archives-ouvertes.fr/hal-02088484}}
}

@InCollection{vdH:hivp,
  author = 	 {M. Aschenbrenner and Dries, L. van den and
                  Hoeven, J. van der},
  title =        {Hardy Fields, the Intermediate Value Property,
                  and $\omega$-Freeness},
  booktitle =    {Structures alg\'ebriques ordonn\'ees, s\'eminaire 2017--18},
  year =         {2019},
  editor =       {F. Delon and M. Dickmann and D. Gondard and T. Servi},
  volume =       {93},
  series =       {Pr\'epublications de l'\'equipe de logique math\'ematique
                  de l'Universit\'e Paris Diderot}
}