Naumann R, Petersen W. An Analysis of Quantifier Scope Restrictions in Dependence Logic. Proceedings of the AC [Internet]. 2013 Dec. 1 [cited 2025 Dec. 5];:163-70. Available from: https://platform.openjournals.nl/PAC/article/view/22451