TY  - RPRT
TI  - Low-Level Bi-Abduction
AU  - Lukáš Holík
AU  - Petr Peringer
AU  - Adam Rogalewicz
AU  - Veronika Šoková
AU  - Tomáš Vojnar
AU  - Florian Zuleger
PY  - 2022
UR  - https://arxiv.org/abs/2205.02590
ID  - 2205.02590
ER  -