@misc{indiciae9e972401ee4e,
  title = {QED: A Powerful Query Equivalence Decider for SQL},
  author = {Wang, Shuxian and Pan, Sicheng and Cheung, Alvin},
  year = {2024},
  doi = {10.14778/3681954.3682024},
  url = {https://www.osti.gov/biblio/2580208},
  note = {Source identifier: 2580208}
}