@misc{indiciae86d1b32d215f,
  title = {Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory},
  author = {Lukas Stevens},
  year = {2023},
  url = {https://arxiv.org/abs/2209.14133},
  note = {Source identifier: 2209.14133}
}