X. Zhang, P. Hu, Y. Nenov, and I. Horrocks, “Optimised Storage for Datalog Reasoning”, AAAI, vol. 38, no. 9, pp. 10748–10755, Mar. 2024.