@Article{         post46,
  Author        = "Post, Emil L.",
  citeulike-article-id="8376465",
  date-added    = "2012-12-30 09:16:20 +0000",
  date-modified = "2013-01-22 06:00:16 +0000",
  Journal       = "J. Symbolic Logic",
  Keywords      = "classic and Post correspondence problem",
  Number        = "2",
  Pages         = "255--56",
  posted-at     = "2010-12-07 16:38:38",
  priority      = "2",
  Title         = "{A variant of a recursively unsolvable problem}",
  Volume        = "12",
  Year          = "1946",
  bdsk-url-1    = "http://projecteuclid.org/euclid.bams/1183507843",
  File          = "A variant of a recursively unsolvable problem - Post (0) (0) - a - a - f.pdf"
}

@Article{ post46, Author = "Post, Emil L.", citeulike-article-id="8376465", date-added = "2012-12-30 09:16:20 +0000", date-modified = "2013-01-22 06:00:16 +0000", Journal = "J. Symbolic Logic", Keywords = "classic and Post correspondence problem", Number = "2", Pages = "255--56", posted-at = "2010-12-07 16:38:38", priority = "2", Title = "{A variant of a recursively unsolvable problem}", Volume = "12", Year = "1946", bdsk-url-1 = "http://projecteuclid.org/euclid.bams/1183507843", File = "A variant of a recursively unsolvable problem - Post (0) (0) - a - a - f.pdf" }