Datalog Programs over Infinite Databases, Revisited. - Sara Cohen; Joseph Gil; Evelina Zarivach (DBPL, 2007)