@article{harmlessbutusefulbeyondseparableequality, title = {Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-}, author = {Luigi Bellomarini and Emanuel Sallinger}, year = {2021}, eprint = {2105.11147}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2105.11147v2}, }