@misc{indiciaeb55213dbb26a,
  title = {A Higher-Order Vampire (Short Paper)},
  author = {Ahmed Bhayat and Martin Suda},
  year = {2024},
  url = {https://arxiv.org/abs/2407.05208},
  note = {Source identifier: 2407.05208}
}