@misc{indiciaef650e77b3b4f,
  title = {The Expressive Power of Higher-Order Datalog},
  author = {Angelos Charalambidis and Christos Nomikos and Panos Rondogiannis},
  year = {2019},
  doi = {10.1017/s1471068419000279},
  url = {https://arxiv.org/abs/1907.09820},
  note = {Source identifier: 1907.09820}
}