1. Akhmatova, E.: Textual entailment resolution via atomic propositions. In: Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, pp. 61–68 (2005)
2. Blackburn, P., Bos, J.: Representation and Inference for Natural Language. A First Course in Computational Semantics. In: CSLI (2005)
3. Bayer, S., Burger, J., Ferro, L., Henderson, J., Yeh, A.: Mitre’s submission to the eu pascal rte challenge. In: Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, pp. 41–44 (2005)
4. Blackburn, P., Bos, J., Kohlhase, M., de Nivelle, H.: Inference and Computational Semantics. In: Bunt, H., Muskens, R., Thijsse, E. (eds.) Computing Meaning, vol. 2, pp. 11–28. Kluwer, Dordrecht (2001)
5. Bos, J., Clark, S., Steedman, M., Curran, J., Hockenmaier, J.: Widecoverage semantic representations from a ccg parser. In: Proc of the 20th International Conference on Computational Linguistics, Geneva, Switzerland (2004)