@article{DBLP:journals/tods/DamaggioDV12, author = {Elio Damaggio and Alin Deutsch and Victor Vianu}, title = {Artifact systems with data dependencies and arithmetic}, journal = {ACM Trans. Database Syst.}, volume = {37}, number = {3}, year = {2012}, pages = {22}, ee = {http://doi.acm.org/10.1145/2338626.2338628}, bibsource = {DBLP, http://dblp.uni-trier.de} }