D.: Differential constraints (2005)

by B Sayrafi, Van Gucht
Venue:In: Proceedings of the twentyfourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of