Alechina, Natasha. “Quantification over Interdependent Variables”. Proceedings of the Amsterdam Colloquium, Dec. 1995, pp. 1-19, https://platform.openjournals.nl/PAC/article/view/24619.