@misc{indiciaeb80457635f5f,
  title = {The Power of Negation in Higher-Order Datalog},
  author = {Angelos Charalambidis and Babis Kostopoulos and Christos Nomikos and Panos Rondogiannis},
  year = {2025},
  doi = {10.1017/s1471068425100227},
  url = {https://arxiv.org/abs/2507.20251},
  note = {Source identifier: 2507.20251}
}