@Article{         KurzSuzukiTuosto,
  Author        = "Kurz, Alexander and Suzuki, Tomoyuki and Tuosto, Emilio",
  date-added    = "2013-12-02 11:29:31 +0000",
  date-modified = "2013-12-02 11:29:36 +0000",
  EPrint        = "1310.7093",
  Month         = "10",
  Title         = "Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract",
  URL           = "http://arxiv.org/abs/1310.7093",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1310.7093",
  File          = "Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract - Kurz, Suzuki, Tuosto (0) (0) - a - a - v.pdf"
}

@Article{ KurzSuzukiTuosto, Author = "Kurz, Alexander and Suzuki, Tomoyuki and Tuosto, Emilio", date-added = "2013-12-02 11:29:31 +0000", date-modified = "2013-12-02 11:29:36 +0000", EPrint = "1310.7093", Month = "10", Title = "Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract", URL = "http://arxiv.org/abs/1310.7093", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1310.7093", File = "Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract - Kurz, Suzuki, Tuosto (0) (0) - a - a - v.pdf" }