E. Csipak, “Referentially used descriptions can be conditionalized”, Proceedings of the AC, pp. 205–214, Dec. 2017, doi: 10.53437/khpvnm76.