@Article{         DBLP:journals/bsl/Abdulla10,
  Author        = "Abdulla, Parosh Aziz",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-12-01 10:01:52 +0000",
  date-modified = "2013-02-06 22:50:38 +0000",
  ee            = "http://www.math.ucla.edu/$\sim$asl/bsl/1604/1604-001.ps",
  Journal       = "Bulletin of Symbolic Logic",
  Keywords      = "well quasi-orders and better quasi-orders and readme",
  Number        = "4",
  Pages         = "457-515",
  Title         = "Well (and better) quasi-ordered transition systems",
  Volume        = "16",
  Year          = "2010",
  File          = "Well (and better) quasi-ordered transition systems - Abdulla (0) (0) - a - a - a.pdf"
}

@Article{ DBLP:journals/bsl/Abdulla10, Author = "Abdulla, Parosh Aziz", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-12-01 10:01:52 +0000", date-modified = "2013-02-06 22:50:38 +0000", ee = "http://www.math.ucla.edu/$\sim$asl/bsl/1604/1604-001.ps", Journal = "Bulletin of Symbolic Logic", Keywords = "well quasi-orders and better quasi-orders and readme", Number = "4", Pages = "457-515", Title = "Well (and better) quasi-ordered transition systems", Volume = "16", Year = "2010", File = "Well (and better) quasi-ordered transition systems - Abdulla (0) (0) - a - a - a.pdf" }