@phdthesis{Niemetz-phdthesis,
  author = {Aina Niemetz},
  title  = {Bit-Precise Reasoning Beyond Bit-Blasting},
  year   = {2017},
  series = {Dissertation Technische Wissenschaften},
  school = {Informatik, Johannes Kepler University Linz}
}