Andrew Neel Max H. Garzon Vasile Rus A Semantic Method for Textual Entailment. 171-176 2008 FLAIRS Conference conf/flairs/2008 db/conf/flairs/flairs2008.html#NeelGR08