Phil Trinder Publication POPL'24 Guided Equality Saturation Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer