@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}
}