@InProceedings{   ChaudhuriSankaranarayananVardi,
  Author        = "Chaudhuri, Swarat and Sankaranarayanan, Sriram and Vardi, Moshe Y.",
  BookTitle     = "Logic in Computer Science",
  date-added    = "2013-06-05 20:23:04 +0000",
  date-modified = "2013-06-05 20:23:35 +0000",
  Title         = "Regular Real Analysis",
  Year          = "2013",
  File          = "Regular Real Analysis - Chaudhuri, Sankaranarayanan, Vardi (0) (0) - a - a - c.pdf"
}

@InProceedings{ ChaudhuriSankaranarayananVardi, Author = "Chaudhuri, Swarat and Sankaranarayanan, Sriram and Vardi, Moshe Y.", BookTitle = "Logic in Computer Science", date-added = "2013-06-05 20:23:04 +0000", date-modified = "2013-06-05 20:23:35 +0000", Title = "Regular Real Analysis", Year = "2013", File = "Regular Real Analysis - Chaudhuri, Sankaranarayanan, Vardi (0) (0) - a - a - c.pdf" }