Datalog Reloaded - de Moor; Furche, Tim; Gottlob, Georg; Sellers, Andrew (Springer Berlin Heidelberg, 2011)