@article{DG86,
   author    = {B. I. Dahn and P. G\"oring},
   title     = {Notes on exponential-logarithmic terms},
   journal   = {Fundamenta Mathematicae},
   year      = {1986},
   volume    = {127},
   pages     = {45--50}
}

@book{Ec92,
   author    = {J. \'Ecalle},
   title     = {Introduction aux fonctions analysables et
                preuve constructive de la conjecture de Dulac},
   year      = {1992},
   publisher = {Hermann, collection: Actualit\'es math\'ematiques}
}

@Article{Hahn1907,
  author = 	 {H. Hahn},
  title = 	 {{\"Uber die nichtarchimedischen Gr\"o{\ss}ensysteme}},
  journal = 	 {Sitz. Akad. Wiss. Wien},
  year = 	 {1907},
  volume = 	 {116},
  pages = 	 {601--655}
}

@Article{Hig52,
  author = 	 {G. Higman},
  title = 	 {Ordering by divisibility in abstract algebras},
  journal = 	 {Proc. London Math. Soc.},
  year = 	 {1952},
  volume = 	 {2},
  pages = 	 {326--336},
}

@InCollection{Mil85,
  author = 	 {E. C. Milner},
  title = 	 {Basic wqo- and bqo- theory},
  booktitle = 	 {Graphs and orders},
  pages = 	 {487--502},
  publisher =    {D. Reidel Publ. Comp.},
  year = 	 {1985},
  editor = 	 {Rival}
}

@Article{NW63,
  author = 	 {C. St. J. A. Nash-Williams},
  title = 	 {On well-quasi-ordering finite trees},
  journal = 	 {Proc. Cambridge Philos. Soc.},
  year = 	 {1963},
  volume = 	 {59},
  pages = 	 {833--835}
}

@Article{PrCr90,
  author = 	 {S. Prie{\ss}-Crampe},
  title = 	 {{Der Banachsche Fixpunktsatz f\"ur Ultrametrische Ra\"ume}},
  journal = 	 {Results in Mathematics},
  year = 	 {1990},
  volume = 	 {18},
  pages = 	 {178--186}
}

@Article{PrCrRib93,
  author = 	 {S. Priess-Crampe and P. Ribenboim},
  title = 	 {Fixed points, combs and generalized power series},
  journal = 	 {Abh. Math. Sem. Hamburg},
  year = 	 {1993},
  volume = 	 {63},
  pages = 	 {227--244}
}

@InCollection{Pou85,
  author = 	 {M. Pouzet},
  title = 	 {Applications of well quasi-ordering and
                  better quasi-ordering},
  booktitle = 	 {Graphs and orders},
  pages = 	 {503--519},
  publisher =    {D. Reidel Publ. Comp.},
  year = 	 {1985},
  editor = 	 {Rival}
}

@phdthesis{vdH:phd,
   author    = {J. van der Hoeven},
   title     = {Automatic asymptotics},
   year      = {1997},
   school    = {\'Ecole polytechnique, France}
}