TY  - RPRT
TI  - Proving Cypher Query Equivalence
AU  - Lei Tang
AU  - Wensheng Dou
AU  - Yingying Zheng
AU  - Lijie Xu
AU  - Wei Wang
AU  - Jun Wei
AU  - Tao Huang
PY  - 2025
UR  - https://arxiv.org/abs/2504.15742
ID  - 2504.15742
ER  -