Preservation of interpolation features by fibring (0)

by W A Carnielli, J Rasga, C Sernadas
Venue:Journal of Logic and Computation