@misc{indiciae5ace3b2f907b,
  title = {Algorithmic Details behind the Predator Shape Analyser},
  author = {Kamil Dudka and Petr Muller and Petr Peringer and Veronika Šoková and Tomáš Vojnar},
  year = {2024},
  url = {https://arxiv.org/abs/2403.18491},
  note = {Source identifier: 2403.18491}
}