@misc{indiciae259facdd38e1,
  title = {Low-Level Bi-Abduction},
  author = {Lukáš Holík and Petr Peringer and Adam Rogalewicz and Veronika Šoková and Tomáš Vojnar and Florian Zuleger},
  year = {2022},
  url = {https://arxiv.org/abs/2205.02590},
  note = {Source identifier: 2205.02590}
}