@InProceedings{   DBLP:conf/lics/BojanczykKLT13,
  Author        = "Bojanczyk, Mikolaj and Klin, Bartek and Lasota, Slawomir and Torunczyk, Szymon",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "LICS",
  date-added    = "2013-10-02 10:53:55 +0000",
  date-modified = "2013-10-02 10:55:30 +0000",
  ee            = "http://doi.ieeecomputersociety.org/10.1109/LICS.2013.24",
  Keywords      = "nominal sets",
  Pages         = "183-192",
  Title         = "Turing Machines with Atoms",
  Year          = "2013",
  File          = "Turing Machines with Atoms - Bojanczyk, Klin, Lasota, Torunczyk (1) (0) - a - a - x.pdf"
}

@InProceedings{ DBLP:conf/lics/BojanczykKLT13, Author = "Bojanczyk, Mikolaj and Klin, Bartek and Lasota, Slawomir and Torunczyk, Szymon", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "LICS", date-added = "2013-10-02 10:53:55 +0000", date-modified = "2013-10-02 10:55:30 +0000", ee = "http://doi.ieeecomputersociety.org/10.1109/LICS.2013.24", Keywords = "nominal sets", Pages = "183-192", Title = "Turing Machines with Atoms", Year = "2013", File = "Turing Machines with Atoms - Bojanczyk, Klin, Lasota, Torunczyk (1) (0) - a - a - x.pdf" }