Bott, O.; Klein, U.; Schlotterbeck, F. Witness Sets, Polarity Reversal and the Processing of Quantified Sentences. Proceedings of the AC 2013, 59-66.