TY  - RPRT
TI  - Hardness of Network Satisfaction for Relation Algebras with Normal Representations
AU  - Manuel Bodirsky
AU  - Simon Knäuer
PY  - 2020
UR  - https://arxiv.org/abs/1912.08482
ID  - 1912.08482
ER  -