@phdthesis{Barbosa2017-phd,
    author = {Haniel Barbosa},
    title = {New techniques for instantiation and proof production in SMT solving},
    school = {Universit{\'e} de Lorraine, Universidade Federal do Rio Grande do Norte},
    year = {2017},
    @Comment address = {Postfach 151141, 66041 Saarbr{\"u}cken},
    language = {eng},
    @Comment URL = {http://scidok.sulb.uni-saarland.de/volltexte/2013/5559},
}