bibtex

@phdthesis{'Fou5',
    title = { Le domaine abstrait des poly\`edres revisit\'e~: repr\'esentation par contraintes et preuve formelle },
    author = {Fouilh\'e, Alexis},
    month = {oct},
    year = {2015},
    school = {Universit\'e Grenoble Alpes},
    team = {PACSS},
}