Naumann, Ralf, and Wiebke Petersen. “An Analysis of Quantifier Scope Restrictions in Dependence Logic”. Proceedings of the Amsterdam Colloquium, Dec. 2013, pp. 163-70, https://platform.openjournals.nl/PAC/article/view/22451.