Federico Mora, Yi Li, Julia Rubin, Marsha Chechik: Client-specific equivalence checking. ASE 2018: 441-451