Motik, B.; Nenov, Y.; Piro, R.; Horrocks, I. Incremental Update of Datalog Materialisation: The Backward/Forward Algorithm. AAAI 2015, 29.