@InProceedings{RothSa07,
 author = {D. Roth and M. Sammons},
 title = {Semantic and Logical Inference Model for Textual Entailment},
 booktitle = {Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing},
 month = {June},
 year = {2007},
 address = {Prague,
 Czech Republic},
 publisher = {Association for Computational Linguistics},
 pages = {107--112},
 comment = {Textual Entailment; Compositional semantics; Search-based inference; Modular framework},
 projects = {TE},
 funding = {Boeing,
 ARDA,
 ACQUAINT,
 Google},
 url = {http://l2r.cs.uiuc.edu/~danr/Papers/RothSa07.pdf} }