[EGRAPHS24] E-graphs and Automated Reasoning: Looking back to look forward | ACM SIGPLAN | Podwise