Klein, U. Computing Quantifier Scope With Witness Sets. Proceedings of the AC 2011, 382-393.