@misc{indiciae09a8c1cf0417,
  title = {Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations},
  author = {Frank Wolter and Michael Zakharyaschev},
  year = {2024},
  url = {https://arxiv.org/abs/2404.02683},
  note = {Source identifier: 2404.02683}
}