Skip to main content

Enhancing Datalog Reasoning with Hypertree Decompositions

Xinyue Zhang