@TechReport{Kremer,
  author      = "Gereon Kremer",
  title       = "Cylindrical Algebraic Decomposition for Nonlinear Arithmetic Problems",
  institution = "RWTH Aachen",
  kewords     = "Satisfiability Modulo Theories, Nonlinear Arithmetic, Model-Constructing Satisfiability Calculus, Cylindrical Algebraic Decomposition",
  year        = "2020",
  number      = "AIB-2020-04",
  month       = may,
  url         = "http://aib.informatik.rwth-aachen.de/2020/2020-04.pdf",
}