Fibring: Completeness Preservation (2000)

by Alberto Zanardo , Amilcar Sernadas , Cristina Sernadas
Venue:Journal of Symbolic Logic
Citations:45 - 23 self