Klein, U. 2011. Computing quantifier scope with witness sets. Proceedings of the Amsterdam Colloquium. (Dec. 2011), 382–393.