Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs. - Rudi Schneider; Marcus Rossel; Amir Shaikhha; Andrés Goens; Thomas Koehler 005; Michel Steuwer (Proc. ACM Program. Lang., 2025)