Toman, D., Chomicki, J., & Rogers, D. S. (1994). Datalog With Integer Periodicity Constraints Presented at the Datalog With Integer Periodicity Constraints conference.