Moldovan, D.; Clark, C.; Harabagiu, S. & Maiorano, S. (2003), COGEX: A Logic Prover for Question Answering, in 'Proc. HLT-NAACL 2003' , pp. 166-172 .

Kalman, J. A. (2001), Automated Reasoning with OTTER , Rinton Press , Paramus, NJ .

Gardent, C. & Webber, B. (2000), 'Automated Reasoning and Discourse Disambiguation' (CLAUS-113) , Technical report, CoLi Saarbr{{\"u}}cken .

Pratt-Hartmann, I. (2000), 'An Ambiguous Logic' , Draft .

Blackburn, P.; Bos, J. & Kohlhase, M. (1999), 'Automated Reasoning for Computational Semantics' , Draft of the paper at the Third International Tbilisi Symposium .

Pratt-Hartmann, I. (1999), 'Inference Problems in ExtrAns: Quick Summary' , Draft for internal use only .

Blackburn, P.; Dymetman, M.; Lecomte, A.; Ranta, A.; Retoré, C. & de la Clergerie, E. V. (1997), Logical Aspects of Computational Linguistics: an introduction, in 'Logical Aspects of Computational Linguistics, First International Conference, LACL '96' , Springer, , pp. 1-20 .

Shanaham, M. (1997), Solving the Frame Problem , MIT Press , Cambridge, MA .

van Benthem, J. & ter Meulen, A., ed. (1997), Handbook of Logic and Language , Elsevier , Amsterdam .

Wille, R. (1997), Conceptual Graphs and Formal Concept Analysis, in 'Proc. ICCS'97' .

Kowalski, R. (1995), Logic without Model Theory, in D. Gabbay, ed., 'What is a Logical System?' , Oxford University Press, .

Flax, L. (1993), 'Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tables' (93-139C) , Technical report, Macquarie University .

Gamut, L. T. F. (1991), Logic, Language, and Meaning , The University of Chicago Press .

Kowalski, R. (1979), Logic for Problem Solving , Vol. 7 , North Holland , New York, Oxford .

Clark, K. L. (1978), Negation as failure, in Jack Minker, ed., 'Logic and Data Bases' , Plenum Press, New York, London , pp. 293-322 .

Green, C. (1969), Theorem-Proving by Resolution as a Basis for Question-Answering Systems, in Bernard Meltzer & Donald Michie, ed., 'Machine Intelligence' , Edinburgh University Press, , pp. 183-205 .