An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.

Chris Fox Shalom Lappin An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. 135-168 2004 12 Logic Journal of the IGPL 2 http://dx.doi.org/10.1093/jigpal/12.2.135 db/journals/igpl/igpl12.html#FoxL04