@InProceedings{   DBLP:conf/wollic/Bojanczyk13,
  Author        = "Bojanczyk, Mikolaj",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "WoLLIC",
  date-added    = "2013-10-02 10:56:46 +0000",
  date-modified = "2013-10-02 10:59:18 +0000",
  ee            = "http://dx.doi.org/10.1007/978-3-642-39992-3\_3",
  Keywords      = "nominal sets and first-order logic",
  Pages         = "13-28",
  Title         = "Modelling Infinite Structures with Atoms",
  Year          = "2013",
  File          = "Modelling Infinite Structures with Atoms - Bojanczyk (0) (0) - a - a - b.pdf"
}

@InProceedings{ DBLP:conf/wollic/Bojanczyk13, Author = "Bojanczyk, Mikolaj", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "WoLLIC", date-added = "2013-10-02 10:56:46 +0000", date-modified = "2013-10-02 10:59:18 +0000", ee = "http://dx.doi.org/10.1007/978-3-642-39992-3_3", Keywords = "nominal sets and first-order logic", Pages = "13-28", Title = "Modelling Infinite Structures with Atoms", Year = "2013", File = "Modelling Infinite Structures with Atoms - Bojanczyk (0) (0) - a - a - b.pdf" }