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