Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons (Information Processing Letters, 2016)

(untitled) - Sherkhonov, E; Marx, M