@PhdThesis{       phdthesischrist,
  Author        = {Christ, J{\"u}rgen},
  date-added    = "2020-02-14 12:10:26 +0100",
  date-modified = "2020-02-14 12:10:33 +0100",
  Month         = "01",
  Title         = "Interpolation modulo theories",
  Year          = "2015",
  File          = "Interpolation modulo theories - a - a - s.pdf"
}

@PhdThesis{ phdthesischrist, Author = {Christ, J{\"u}rgen}, date-added = "2020-02-14 12:10:26 +0100", date-modified = "2020-02-14 12:10:33 +0100", Month = "01", Title = "Interpolation modulo theories", Year = "2015", File = "Interpolation modulo theories - a - a - s.pdf" }