TY - RPRT TI - Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/- AU - Luigi Bellomarini AU - Emanuel Sallinger PY - 2021 UR - https://arxiv.org/abs/2105.11147 ID - 2105.11147 ER -