@misc{indiciaee6e7b3d2cab0,
  title = {On sets of first-order formulas axiomatizing representable relation algebras},
  author = {Jeremy F. Alm},
  year = {2016},
  url = {https://arxiv.org/abs/1604.08227},
  note = {Source identifier: 1604.08227}
}