Klein U. Computing quantifier scope with witness sets. Proceedings of the AC [Internet]. 2011 Dec. 1 [cited 2026 Apr. 11];:382-93. Available from: https://testplatform.openjournals.nl/PAC/article/view/22528