Better Together: Unifying Datalog and Equality Saturation

@misc{egglog,
  author = {
    Yihong Zhang and
    Yisu Remy Wang and
    Oliver Flatt and
    David Cao and
    Philip Zucker and
    Eli Rosenthal and
    Zachary Tatlock and
    Max Willsey
  },
  title = {Better Together: Unifying Datalog and Equality Saturation},
  year = {2023},
}