@phdthesis{Barbosa2017-phd,
  author    = {Haniel Barbosa},
  title     = {New techniques for instantiation and proof production in {SMT} solving.
               (Nouvelles techniques pour l'instanciation et la production des preuves
               dans {SMT)}},
  school    = {University of Lorraine, Nancy, France},
  year      = {2017},
  url       = {https://tel.archives-ouvertes.fr/tel-01591108},
}