Quantifiers Types Resolution in NL Software Requirements. - Mehreen Saba; Imran Sarwar Bajwa (MICAI (Special Sessions), 2013)