@phdthesis{these-jean-christophe-routier,
  title = {Terminaison, Satisfiabilité et Pouvoir Calculatoire d'une Clause de Horn Binaire},
  author = {Routier, Jean-Christophe},
  school = {Université des Sciences et Technologies de Lille},
  x-day = {1},
  month = {Février},
  year = {1994},
  label = {Thèse de doctorat},
  pdf = {http://www.lifl.fr/SMAC/publications/pdf/these-jean-christophe-routier.pdf},
  abstract = {No abstract},
  x-genre = {these},
  x-language = {FR},
  x-missing = {x-timestamp}
}