TY  - RPRT
TI  - Finite relation algebras and omitting types in modal fragments of first order logic
AU  - Tarek Sayed Ahmed
PY  - 2015
UR  - https://arxiv.org/abs/1504.05947
ID  - 1504.05947
ER  -