@Article{cip,

author = {R\u{a}zvan Diaconescu},

title = {An institution-independent proof of {C}raig {I}nterpolation {T}heorem},

journal = {Studia Logica},

year = 2004,

volume = 77,

number = 1,

pages = {59--79}

}