TY  - RPRT
TI  - Verification of Hierarchical Artifact Systems
AU  - Alin Deutsch
AU  - Yuliang Li
AU  - Victor Vianu
PY  - 2016
DO  - 10.1145/2902251.2902275
UR  - https://arxiv.org/abs/1604.00967
ID  - 1604.00967
ER  -