@misc{indiciaedc3767124f04, title = {\$n\$-permutability and linear Datalog implies symmetric Datalog}, author = {Alexandr Kazda}, year = {2018}, doi = {10.23638/lmcs-14(2:3)2018}, url = {https://arxiv.org/abs/1508.05766}, note = {Source identifier: 1508.05766} }