[PLDI'23] Better Together: Unifying Datalog and Equality Saturation | ACM SIGPLAN | Podwise