Bjorner, Gurfinkel, Korovin, Lahav, n.d.. Instantiations, Zippers and EPR Interpolation, in: . EasyChair.. https://doi.org/10.29007/xt3j