@misc{indiciaea56b2e78d7eb,
  title = {Enhancing Datalog Reasoning with Hypertree Decompositions},
  author = {Xinyue Zhang and Pan Hu and Yavor Nenov and Ian Horrocks},
  year = {2023},
  url = {https://arxiv.org/abs/2305.06854},
  note = {Source identifier: 2305.06854}
}