1. The Craig interpolation theorem for schematic systems;Carbone;Collegium logicum,1996
2. W. Carnielli, J. Rasga, and C. Sernadas, Appendix on Interpolation via translations: proofs as expected. Technical report, SQIG-IT, DM, IST, 2008. The appendix contains the full details of most of the proofs that are just sketched or not proved at all in the paper since they follow in an expected way. Available at http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/08-CRS-it-appendix.pdf.
3. W. A. Carnielli, M. E. Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas, Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems. Applied Logic 35 (Springer, 2008).
4. Preservation of interpolation features by fibring;Carnielli;Journal of Logic and Computation,2008
5. Transfers between logics and their applications;Coniglio;Studia Logica,2002