pdf bibSystem with Generalized Quantifiers on Dependent Types for AnaphoraJustyna Grudzińska | Marek ZawadowskiProceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)