M. Honcoop, “An Intensional Version of Existential Disclosure”, Proceedings of the AC, pp. 169–174, Dec. 1997, doi: 10.53437/xvwazw13.