Datalog Reloaded,
De Moor, O. (eds.), et al. (2011),
Lecture Notes in Computer Science, Vol. 6702 p. 407