@phdthesis{schurr:tel-03845527,
  TITLE = {Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy Schedules},
  AUTHOR = {Schurr, Hans-J{\"o}rg},
  URL = {https://hal.univ-lorraine.fr/tel-03845527},
  SCHOOL = {Universit{\'e} de Lorraine},
  YEAR = {2022},
  MONTH = Oct,
  TYPE = {Theses},
  PDF = {https://schurr.io/pubs/phd-thesis.pdf}
}