Enhancing Datalog Reasoning with Hypertree Decompositions

Open in new window