Robaldo, et al.. On the Identification of Quantifiers' Witness Sets: A Study of Multi-quantifier Sentences. Springer Nature, 2014, doi:10.1007/s10849-014-9197-9.