Proving Cypher Query Equivalence.

Lei Tang, Wensheng Dou, Yingying Zheng, Lijie Xu, Wei Wang, Jun Wei, Tao Huang

Browse the full ICDE paper archive.