@inproceedings {5016,
	title = {Datalog With Integer Periodicity Constraints},
	booktitle = {Joint International Conference and Symposium on Logic Programming (JICSLP)},
	year = {1994},
	author = {David Toman and Jan Chomicki and David S. Rogers}
}
