Nicole Heinimann, Thomas Koehler, Michel Steuwer
EGRAPHS 2025 (co-located with PLDI 2025), Seoul
Link PDF Video