KLEIN, Udo. Computing quantifier scope with witness sets. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 382–393, 2011. Disponível em: https://platform.openjournals.nl/PAC/article/view/22528.. Acesso em: 19 apr. 2026.