Complete Instantiation-Based Interpolation. - Totla, Nishant; Wies, Thomas (J. Autom. Reason., 2016)