TY  - RPRT
TI  - There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
AU  - Jeremy F. Alm
AU  - Robin Hirsch
AU  - Roger D. Maddux
PY  - 2016
DO  - 10.1017/s1755020316000265
UR  - https://arxiv.org/abs/1310.5076
ID  - 1310.5076
ER  -