Properties Of Chain Programs Over Difference Constraints