1. Dagan, I., Glickman, O.: Probabilistic textual entailment: Generic applied modeling of language variability. In: Learning Methods for Text Understanding and Mining, Grenoble, France (2004)
2. Schubert, L.K.: From english to logic: Contex-free computation of ‘conventional’ logical translations. In: Grosz, B.J., Sparck Jones, K., Webber, B.L. (eds.) Natural Language Processing. Kaufmann, Los Altos (1986)
3. Moore, R.C.: Problems in logical form. In: Grosz, B.J., Sparck Jones, K., Webber, B.L. (eds.) Natural Language Processing. Kaufmann, Los Altos (1986)
4. Hobbs, J.R., Stickel, M., Martin, P., Edwards, D.: Interpretation as abduction. In: Proc. of the 26th Annual Meeting of the Association for Computational Linguistics (ACL), pp. 95–103 (1988)
5. Lecture Notes in Artificial Intelligence;C.M. Cumby,2003