@Article{         post1947,
  Author        = "Post, Emil L.",
  copyright     = "Copyright {\copyright} 1947 Association for Symbolic Logic",
  date-added    = "2012-12-30 09:17:36 +0000",
  date-modified = "2013-01-22 06:00:08 +0000",
  ISSN          = "00224812",
  Journal       = "The Journal of Symbolic Logic",
  jstor_articletype="research-article",
  jstor_formatteddate="Mar., 1947",
  Keywords      = "Post correspondence problem",
  Language      = "English",
  Number        = "1",
  Pages         = "pp. 1-11",
  Publisher     = "Association for Symbolic Logic",
  Title         = "Recursive Unsolvability of a Problem of Thue",
  URL           = "http://www.jstor.org/stable/2267170",
  Volume        = "12",
  Year          = "1947",
  bdsk-url-1    = "http://www.jstor.org/stable/2267170",
  File          = "Recursive Unsolvability of a Problem of Thue - Post (0) (0) - a - a - z.pdf"
}

@Article{ post1947, Author = "Post, Emil L.", copyright = "Copyright {\copyright} 1947 Association for Symbolic Logic", date-added = "2012-12-30 09:17:36 +0000", date-modified = "2013-01-22 06:00:08 +0000", ISSN = "00224812", Journal = "The Journal of Symbolic Logic", jstor_articletype="research-article", jstor_formatteddate="Mar., 1947", Keywords = "Post correspondence problem", Language = "English", Number = "1", Pages = "pp. 1-11", Publisher = "Association for Symbolic Logic", Title = "Recursive Unsolvability of a Problem of Thue", URL = "http://www.jstor.org/stable/2267170", Volume = "12", Year = "1947", bdsk-url-1 = "http://www.jstor.org/stable/2267170", File = "Recursive Unsolvability of a Problem of Thue - Post (0) (0) - a - a - z.pdf" }