@Article{         GruberHolzerKutriba,
  Author        = "Gruber, Hermann and Holzer, Markus and Kutrib, Martin",
  date-added    = "2012-12-25 09:57:23 +0000",
  date-modified = "2012-12-25 10:03:50 +0000",
  Journal       = "Fundamenta Informaticae",
  Keywords      = "well quasi-orders",
  Pages         = "1--17",
  Title         = "More on the Size of Higman-Haines Sets: Effective Constructions",
  Year          = "2008",
  File          = "More on the Size of Higman-Haines Sets Effective Constructions - Gruber, Holzer, Kutrib (0) (0) - a - a - p.pdf"
}

@Article{ GruberHolzerKutriba, Author = "Gruber, Hermann and Holzer, Markus and Kutrib, Martin", date-added = "2012-12-25 09:57:23 +0000", date-modified = "2012-12-25 10:03:50 +0000", Journal = "Fundamenta Informaticae", Keywords = "well quasi-orders", Pages = "1--17", Title = "More on the Size of Higman-Haines Sets: Effective Constructions", Year = "2008", File = "More on the Size of Higman-Haines Sets Effective Constructions - Gruber, Holzer, Kutrib (0) (0) - a - a - p.pdf" }