@PhdThesis{       Huet:1976lr,
  Author        = "Huet, Gerard",
  Address       = "France",
  citeulike-article-id="2081911",
  date-added    = "2013-02-17 23:27:16 +0000",
  date-modified = "2013-02-17 23:27:16 +0000",
  Keywords      = "bibtex-import",
  posted-at     = "2007-12-09 16:29:43",
  priority      = "2",
  School        = "Universit{\'e} Paris VII",
  Title         = "{Resolution d'equations dans les langages d'ordre 1, 2, ..., omega.}",
  Year          = "1976"
}

@PhdThesis{ Huet:1976lr, Author = "Huet, Gerard", Address = "France", citeulike-article-id="2081911", date-added = "2013-02-17 23:27:16 +0000", date-modified = "2013-02-17 23:27:16 +0000", Keywords = "bibtex-import", posted-at = "2007-12-09 16:29:43", priority = "2", School = "Universit{\'e} Paris VII", Title = "{Resolution d'equations dans les langages d'ordre 1, 2, ..., omega.}", Year = "1976" }