Interpolation in extensions of first-order logic | Publicación