Borrowing interpolation. (2012)

by Razvan Diaconescu
Venue:Journal of Logic and Computation,