Klein, U. (2011) “Computing quantifier scope with witness sets”, Proceedings of the Amsterdam Colloquium, pp. 382–393. doi:10.53437/6ff7qq76.