TY  - RPRT
TI  - The Power of Negation in Higher-Order Datalog
AU  - Angelos Charalambidis
AU  - Babis Kostopoulos
AU  - Christos Nomikos
AU  - Panos Rondogiannis
PY  - 2025
DO  - 10.1017/s1471068425100227
UR  - https://arxiv.org/abs/2507.20251
ID  - 2507.20251
ER  -