@Unpublished{     CoquandFriedlender,
  Author        = "Coquand, Thierry and Friedlender, Daniel",
  date-added    = "2012-12-25 09:46:04 +0000",
  date-modified = "2012-12-25 09:47:15 +0000",
  Keywords      = "well quasi-orders",
  Month         = "November",
  Title         = "A proof of Higman's Lemma by structural induction",
  Year          = "1993",
  File          = "A proof of Higman's Lemma by structural induction - Coquand, Friedlender (0) (0) - a - a - q.pdf"
}

@Unpublished{ CoquandFriedlender, Author = "Coquand, Thierry and Friedlender, Daniel", date-added = "2012-12-25 09:46:04 +0000", date-modified = "2012-12-25 09:47:15 +0000", Keywords = "well quasi-orders", Month = "November", Title = "A proof of Higman's Lemma by structural induction", Year = "1993", File = "A proof of Higman's Lemma by structural induction - Coquand, Friedlender (0) (0) - a - a - q.pdf" }