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