@misc{indiciae852e3bd40fe8,
  title = {Better Together: Unifying Datalog and Equality Saturation},
  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},
  year = {2023},
  url = {https://arxiv.org/abs/2304.04332},
  note = {Source identifier: 2304.04332}
}