@Manual{          Cok:2013aa,
  Author        = "Cok, David R.",
  date-added    = "2018-11-23 18:44:27 +0100",
  date-modified = "2018-11-23 18:44:51 +0100",
  Organization  = "GrammaTech, Inc.",
  Title         = "SMTLIBTutorial",
  Year          = "2013",
  File          = "SMTLIBTutorial (0) - a - a - v.pdf"
}

@Manual{ Cok:2013aa, Author = "Cok, David R.", date-added = "2018-11-23 18:44:27 +0100", date-modified = "2018-11-23 18:44:51 +0100", Organization = "GrammaTech, Inc.", Title = "SMTLIBTutorial", Year = "2013", File = "SMTLIBTutorial (0) - a - a - v.pdf" }