Klein, U. (2011). Computing quantifier scope with witness sets. Proceedings of the Amsterdam Colloquium, 382-393. https://doi.org/10.53437/6ff7qq76