@Article{         Neary,
  Author        = "Neary, Turlough",
  date-added    = "2014-04-28 15:53:21 +0000",
  date-modified = "2014-04-28 15:53:36 +0000",
  EPrint        = "1312.6700",
  Keywords      = "readme",
  Month         = "12",
  Title         = "Undecidability in binary tag systems and the Post correspondence problem for four pairs of words",
  URL           = "http://arxiv.org/abs/1312.6700",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1312.6700",
  File          = "Undecidability in binary tag systems and the Post correspondence problem for four pairs of words - Neary (0) (0) - a - a - h.pdf"
}

@Article{ Neary, Author = "Neary, Turlough", date-added = "2014-04-28 15:53:21 +0000", date-modified = "2014-04-28 15:53:36 +0000", EPrint = "1312.6700", Keywords = "readme", Month = "12", Title = "Undecidability in binary tag systems and the Post correspondence problem for four pairs of words", URL = "http://arxiv.org/abs/1312.6700", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1312.6700", File = "Undecidability in binary tag systems and the Post correspondence problem for four pairs of words - Neary (0) (0) - a - a - h.pdf" }