@TechReport{      Jouannaud,
  Author        = "Jouannaud, Jean-Pierre",
  date-added    = "2017-01-11 16:05:12 +0000",
  date-modified = "2017-01-11 16:05:39 +0000",
  Institution   = "LIX, Ecole Polytechnique",
  Title         = "Extension orderings revisited",
  File          = "Extension orderings revisited - Jouannaud (0) (0) - a - a - l.pdf"
}

@TechReport{ Jouannaud, Author = "Jouannaud, Jean-Pierre", date-added = "2017-01-11 16:05:12 +0000", date-modified = "2017-01-11 16:05:39 +0000", Institution = "LIX, Ecole Polytechnique", Title = "Extension orderings revisited", File = "Extension orderings revisited - Jouannaud (0) (0) - a - a - l.pdf" }