Zhang, X.; Hu, P.; Nenov, Y.; Horrocks, I. Optimised Storage for Datalog Reasoning. AAAI 2024, 38, 10748-10755.