@misc{indiciae5b28b6ce3c77,
  title = {Abstract Domains for Database Manipulating Processes},
  author = {Tobias Schüler and Stephan Mennicke and Malte Lochau},
  year = {2023},
  url = {https://arxiv.org/abs/2308.03466},
  note = {Source identifier: 2308.03466}
}