Borrowing interpolation

Razvan Diaconescu. Borrowing interpolation. Journal of Logic and Computation, 22(3):561-586, 2012. [doi]

Abstract

Abstract is missing.