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