David Toman Jan Chomicki David S. Rogers Datalog with Integer Periodicity Constraints. 189-203 1994 SLP db/conf/slp/slp94.html#TomanCR94