Naumann, R.; Petersen, W. An Analysis of Quantifier Scope Restrictions in Dependence Logic. Proceedings of the AC 2013, 163-170.