B. Motik, Y. Nenov, R. Piro, and I. Horrocks, “Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm”, AAAI, vol. 29, no. 1, Feb. 2015.