Klein, U. (2011). Computing quantifier scope with witness sets. Proceedings of the Amsterdam Colloquium, 382-393. https://platform.openjournals.nl/PAC/article/view/22528