On the interpolation theorem for the logic of constant domains | Publicación