Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs.

Aleksei Tiurin, Chris Barrett, Dan R. Ghica, Nick Hu

Browse the full LICS paper archive.