Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey. Better Together: Unifying Datalog and Equality Saturation. Proceedings of the ACM on Programming Languages, 7(PLDI):468-492, 2023. [doi]
Abstract is missing.