Modulated fibring and the collapsing problem (2002)

by C Sernadas, J Rasga, W Carnielli
Venue:Journal of Symbolic Logic, 67(4): 1541 – 1569