Alin Deutsch, Yuliang Li, Victor Vianu. Verification of Hierarchical Artifact Systems. In Tova Milo, Wang Chiew Tan, editors, Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2016, San Francisco, CA, USA, June 26 - July 01, 2016. pages 179-194, ACM, 2016. [doi]
Abstract is missing.