@misc{indiciae6486ac8a71ac,
  title = {Choose your Colour: Tree Interpolation for Quantified Formulas in SMT},
  author = {Elisabeth Henkel and Jochen Hoenicke and Tanja Schindler},
  year = {2023},
  url = {https://arxiv.org/abs/2305.11667},
  note = {Source identifier: 2305.11667}
}