Equivalence by Canonicalization for Synthesis-Backed Refactoring. - Justin Lubin; Jeremy Ferguson; Kevin Ye; Jacob Yim; Sarah E. Chasins (Proc. ACM Program. Lang., 2024)