SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics | IEEE Conference Publication | IEEE Xplore