Alechina, N. (1995). Quantification over interdependent variables. Proceedings of the Amsterdam Colloquium, 1-19. https://platform.openjournals.nl/PAC/article/view/24619