Datalog with Integer Periodicity Constraints (1994)

by D Toman, J Chomicki, D S Rogers
Venue:In Proceedings of the International Symposium on Logic Programming