Complete instantiation-based interpolation.

Nishant Totla, Thomas Wies

Browse the full POPL paper archive.