@Article{         DBLP:journals/bsl/Gabbay11,
  Author        = "Gabbay, Murdoch James",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-09-22 09:00:09 +0200",
  date-modified = "2013-01-22 17:42:39 +0000",
  ee            = "http://dx.doi.org/10.2178/bsl/1305810911",
  Journal       = "Bulletin of Symbolic Logic",
  Keywords      = "nominal sets and readme",
  Number        = "2",
  Pages         = "161-229",
  Title         = "Foundations of nominal techniques: logic and semantics of variables in abstract syntax",
  Volume        = "17",
  Year          = "2011",
  File          = "Foundations of nominal techniques logic and semantics of variables in abstract syntax - Gabbay (0) (0) - a - a - o.pdf"
}

@Article{ DBLP:journals/bsl/Gabbay11, Author = "Gabbay, Murdoch James", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-09-22 09:00:09 +0200", date-modified = "2013-01-22 17:42:39 +0000", ee = "http://dx.doi.org/10.2178/bsl/1305810911", Journal = "Bulletin of Symbolic Logic", Keywords = "nominal sets and readme", Number = "2", Pages = "161-229", Title = "Foundations of nominal techniques: logic and semantics of variables in abstract syntax", Volume = "17", Year = "2011", File = "Foundations of nominal techniques logic and semantics of variables in abstract syntax - Gabbay (0) (0) - a - a - o.pdf" }