TY  - RPRT
TI  - Better Together: Unifying Datalog and Equality Saturation
AU  - Yihong Zhang
AU  - Yisu Remy Wang
AU  - Oliver Flatt
AU  - David Cao
AU  - Philip Zucker
AU  - Eli Rosenthal
AU  - Zachary Tatlock
AU  - Max Willsey
PY  - 2023
UR  - https://arxiv.org/abs/2304.04332
ID  - 2304.04332
ER  -