Klein U. Computing quantifier scope with witness sets. Proceedings of the AC. Published online December 1, 2011:382-393. doi:10.53437/6ff7qq76