Alechina, N. Quantification over Interdependent Variables. Proceedings of the AC 1995, 1-19.