Klein, U. (2011) “Computing quantifier scope with witness sets”, Proceedings of the Amsterdam Colloquium, pp. 382–393. Available at: https://testplatform.openjournals.nl/PAC/article/view/22528 (Accessed: 11 April 2026).