@misc{indiciae3adbe4ac7b29,
  title = {Superposition with Delayed Unification},
  author = {Ahmed Bhayat and Johannes Schoisswohl and Michael Rawson},
  year = {2024},
  doi = {10.1007/978-3-031-38499-8\_2},
  url = {https://arxiv.org/abs/2403.04775},
  note = {Source identifier: 2403.04775}
}