Interpolation in Extensions of First-Order Logic | Publicación