The Power of Negation in Higher-Order Datalog. - CHARALAMBIDIS, ANGELOS; KOSTOPOULOS, BABIS; NOMIKOS, CHRISTOS; RONDOGIANNIS, PANOS (Theory & Practice of Logic Programming, 2025)