@PHDTHESIS{forti2014,
url = "http://www.theses.fr/2014AIXM4779",
title = "Puissance expressive des preuves circulaires",
author = "Fortier, Jerome",
year = "2014",
note = "Thèse de doctorat dirigée par Santocanale, Luigi et Brlek, Srecko Informatique Aix-Marseille 2014",
note = "Thèse de doctorat Informatique Université du Québec à Montréal 2014",
note = "2014AIXM4779",
url = "http://www.theses.fr/2014AIXM4779/document",
}