Klein, Udo. 2011. “Computing Quantifier Scope With Witness Sets”. Proceedings of the Amsterdam Colloquium, December, 382-93. https://platform.openjournals.nl/PAC/article/view/22528.