COGEX: A logic prover for question answering (2003)

by C Clark, S Harabagiu, S Maiorano, D Moldovan
Venue:In Proc. of HLT-NAACL