@misc{indiciaea7ad51a8ce84,
  title = {First-order logic with self-reference},
  author = {Reijo Jaakkola and Antti Kuusisto},
  year = {2022},
  url = {https://arxiv.org/abs/2207.07397},
  note = {Source identifier: 2207.07397}
}