Equivalence Hypergraphs: E-Graphs for Monoidal Theories. - Dan R. Ghica; Chris Barrett; Aleksei Tiurin (CoRR, 2024)

E-Graphs With Bindings. - Aleksei Tiurin; Dan R. Ghica; Nick Hu (CoRR, 2025)