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