TY  - RPRT
TI  - Subcompletions of representable relation algebras
AU  - Roger D. Maddux
PY  - 2014
DO  - 10.1007/s00012-018-0493-0
UR  - https://arxiv.org/abs/1411.1096
ID  - 1411.1096
ER  -