Flexible interpolation with local proof transformations | IEEE Conference Publication | IEEE Xplore