TY  - RPRT
TI  - $n$-permutability and linear Datalog implies symmetric Datalog
AU  - Alexandr Kazda
PY  - 2018
DO  - 10.23638/lmcs-14(2:3)2018
UR  - https://arxiv.org/abs/1508.05766
ID  - 1508.05766
ER  -