@misc{indiciaea5f753fef6f4,
  title = {A Symbolic Approach to Proving Query Equivalence Under Bag Semantics},
  author = {Qi Zhou and Joy Arulraj and Shamkant Navathe and William Harris and Jinpeng Wu},
  year = {2021},
  url = {https://arxiv.org/abs/2004.00481},
  note = {Source identifier: 2004.00481}
}