@mastersthesis{TeuberBA,
    title={Solving difficult SMT instances using abstractions and incremental SMT solving},
    author={Teuber, Samuel},
    year={2020},
    school={Karlsruhe Institute of Technology},
    type={Bachelor's Thesis}
}