@Misc{            Rummer:2014,
  Author        = {R{\"u}mmer, Philipp},
  date-added    = "2019-10-09 08:50:19 +0200",
  date-modified = "2019-10-09 08:50:37 +0200",
  Title         = "Craig Interpolation in SAT and SMT",
  Year          = "2014",
  File          = "Craig Interpolation in SAT and SMT (0) - a - a - q.pdf"
}

@Misc{ Rummer:2014, Author = {R{\"u}mmer, Philipp}, date-added = "2019-10-09 08:50:19 +0200", date-modified = "2019-10-09 08:50:37 +0200", Title = "Craig Interpolation in SAT and SMT", Year = "2014", File = "Craig Interpolation in SAT and SMT (0) - a - a - q.pdf" }