(1)
Honcoop, M. An Intensional Version of Existential Disclosure. Proceedings of the AC 1997, 169-174.