@article{demoura2008z3,
  title={Z3: An efficient SMT solver},
  author={De Moura, Leonardo and Bj{\o}rner, Nikolaj},
  journal={Tools and Algorithms for the Construction and Analysis of Systems},
  pages={337--340},
  year={2008},
  publisher={Springer},
  doi={10.1007/978-3-540-78800-3_24}
}

@article{meurer2017sympy,
  title={SymPy: symbolic computing in Python},
  author={Meurer, Aaron and Smith, Christopher P and Paprocki, Mateusz and others},
  journal={PeerJ Computer Science},
  volume={3},
  pages={e103},
  year={2017},
  doi={10.7717/peerj-cs.103}
}

@misc{sqlglot,
  title={SQLGlot: The SQL Parser, Transpiler, Optimizer, and Engine},
  author={SQLGlot Contributors},
  howpublished={\url{https://github.com/tobymao/sqlglot}},
  year={2023}
}
