TY  - RPRT
TI  - Semantic foundations of equality saturation
AU  - Dan Suciu
AU  - Yisu Remy Wang
AU  - Yihong Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2501.02413
ID  - 2501.02413
ER  -