@TechReport{      DPLL,
  Author        = "Davis, Martin and Logemann, George and Loveland, Donald",
  date-added    = "2020-03-09 08:04:52 +0100",
  date-modified = "2020-03-09 08:05:20 +0100",
  Title         = "A machine program for theorem-proving",
  Year          = "1961",
  File          = "A machine program for theorem-proving - machineprogramfo00davi - a - a - a - c.pdf"
}

@TechReport{ DPLL, Author = "Davis, Martin and Logemann, George and Loveland, Donald", date-added = "2020-03-09 08:04:52 +0100", date-modified = "2020-03-09 08:05:20 +0100", Title = "A machine program for theorem-proving", Year = "1961", File = "A machine program for theorem-proving - machineprogramfo00davi - a - a - a - c.pdf" }