TY  - RPRT
TI  - On sets of first-order formulas axiomatizing representable relation algebras
AU  - Jeremy F. Alm
PY  - 2016
UR  - https://arxiv.org/abs/1604.08227
ID  - 1604.08227
ER  -