Datalog in Academia and Industry - Hutchison, David; Kanade, Takeo; Barceló, Pablo; Pichler, Reinhard (Springer Berlin Heidelberg, 2012)