@misc{indiciae31561272b774,
  title = {SCL(EQ): SCL for First-Order Logic with Equality},
  author = {Hendrik Leidinger and Christoph Weidenbach},
  year = {2022},
  url = {https://arxiv.org/abs/2205.08297},
  note = {Source identifier: 2205.08297}
}