Add citation for existential import