@Article{         Jez,
  Author        = "Je{\.z}, Artur",
  date-added    = "2014-04-16 14:27:09 +0000",
  date-modified = "2014-04-16 14:27:19 +0000",
  EPrint        = "1310.4367",
  Month         = "10",
  Title         = "Context unification is in PSPACE",
  URL           = "http://arxiv.org/abs/1310.4367",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1310.4367",
  File          = "Context unification is in PSPACE - Jeż (0) (0) - a - a - n.pdf"
}

@Article{ Jez, Author = "Je{.z}, Artur", date-added = "2014-04-16 14:27:09 +0000", date-modified = "2014-04-16 14:27:19 +0000", EPrint = "1310.4367", Month = "10", Title = "Context unification is in PSPACE", URL = "http://arxiv.org/abs/1310.4367", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1310.4367", File = "Context unification is in PSPACE - Jeż (0) (0) - a - a - n.pdf" }