@PhdThesis{       Cheney,
  Author        = "Cheney, James",
  date-added    = "2013-04-17 08:06:43 +0000",
  date-modified = "2013-04-17 08:07:16 +0000",
  Keywords      = "logic programming and nominal sets",
  School        = "Cornell University",
  Title         = "Nominal Logic Programming",
  Year          = "2004",
  File          = "Nominal Logic Programming - Cheney (0) (0) - a - a - u.pdf",
  file-2        = "Nominal Logic Programming - Cheney (0) (0) - a - a - u.ps"
}

@PhdThesis{ Cheney, Author = "Cheney, James", date-added = "2013-04-17 08:06:43 +0000", date-modified = "2013-04-17 08:07:16 +0000", Keywords = "logic programming and nominal sets", School = "Cornell University", Title = "Nominal Logic Programming", Year = "2004", File = "Nominal Logic Programming - Cheney (0) (0) - a - a - u.pdf", file-2 = "Nominal Logic Programming - Cheney (0) (0) - a - a - u.ps" }