Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich. Flexible interpolation with local proof transformations. In 2010 International Conference on Computer-Aided Design (ICCAD 10), November 7-11, 2010, San Jose, CA, USA. pages 770-777, IEEE, 2010. [doi]
Abstract is missing.