Honcoop, M. 1997. An Intensional Version of Existential Disclosure. Proceedings of the Amsterdam Colloquium. (Dec. 1997), 169–174.