Report copyright - Second order inference in NL semantics - UZHattempto.ifi.uzh.ch/site/cnl2012/slides/pulman_secondorder.pdf · Logical forms sent to automated theorem prover (resolution, tableau...)
Please pass captcha verification before submit form