@article {3969,
	title = {Datalog With Integer Periodicity Constraints},
	journal = {Journal of Logic Programming},
	volume = {35},
	year = {1998},
	pages = {263--290},
	doi = {10.1016/S0743-1066(97)10008-5},
	author = {David Toman and Jan Chomicki}
}
