[EGRAPHS24] Equivalence Hypergraphs: E-Graphs for Monoidal Theories | ACM SIGPLAN | Podwise