@misc{indiciaeb18f161ad01f,
  title = {First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth},
  author = {Rob Egrot and Robin Hirsch},
  year = {2021},
  url = {https://arxiv.org/abs/2008.01329},
  note = {Source identifier: 2008.01329}
}