Shanabrook, S. (2023). Egglog Python: A Pythonic Library for E-graphs [Conference paper]. EGRAPHS@PLDI 2023. https://doi.org/10.48550/arXiv.2305.04311