TY  - RPRT
TI  - Enhancing Datalog Reasoning with Hypertree Decompositions
AU  - Xinyue Zhang
AU  - Pan Hu
AU  - Yavor Nenov
AU  - Ian Horrocks
PY  - 2023
UR  - https://arxiv.org/abs/2305.06854
ID  - 2305.06854
ER  -