Interpolation for Predefined Types (2008)

by Razvan Diaconescu
Venue:UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE