1. Bender, E.: Deep Linguistic Processing with HPSG (DELPH-IN). http://moin.delph-in.net
2. Copestake, A., Flickinger, D., Pollard, C., Sag, I.: Minimal recursion semantics: an introduction. Research on Language and Computation 3, 281–332 (2005)
3. Csli linguistic grammars online (lingo) lab at stanford university. http://lingo.stanford.edu
4. Gallin, D.: Intensional and Higher-Order Modal Logic. North-Holland (1975)
5. Hobbs, J.R., Shieber, S.M.: An algorithm for generating quantifier scopings. Computational Linguistics 13(1–2), 47–63 (1987)