Conjunctive Queries with Negations: Bridging Theory and Practice