David Toman Jan Chomicki Datalog with Integer Periodicity Constraints. 263-290 1998 35 J. Log. Program. 3 db/journals/jlp/jlp35.html#TomanC98