J. Barwise and J. Etchemendy, Language, Proof and Logic, Center for the Study of Language and Information, 2002.

K. Boda, J. Ma, G. Sinnadurai, and A. Summers, Pandora: A reasoning Toolbox using natural Deduction Style, Logic journal of the IGPL, vol.15, issue.4, pp.293-304, 2007.

R. J. Brachman and H. J. Levesque, Knowledge Representation and Reasoning, 2004.

E. Friedman-hill, Jess in Action: Rule-Based Systems in Java, 2003.

I. Hatzilygeroudis, C. Giannoulis, and C. Koutsojannis, A web-based education system for predicate logic, IEEE International Conference on Advanced Learning Technologies, 2004. Proceedings., pp.106-110, 2004.
DOI : 10.1109/ICALT.2004.1357384

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

I. Hatzilygeroudis, Teaching NL to FOL and FOL to CL Conversions, Proceedings of the 20th International FLAIRS Conference, pp.309-314, 2007.

M. Hendriks, C. Kaliszyk, F. Van-raamsdonk, and F. Wiedijk, Teaching logic using a state-of-the-art proof assistant, Acta Didactica Napocensia, vol.3, issue.2, pp.35-48, 2010.

C. Koutsojannis, G. Beligiannis, I. Hatzilygeroudis, C. Papavlasopoulos, and J. Prentzas, Using a hybrid AI approach for exercise difficulty level adaptation, International Journal of Continuing Engineering Education and Life-Long Learning, vol.17, issue.4/5, pp.256-272, 2007.
DOI : 10.1504/IJCEELL.2007.015042

S. Lukins, A. Levicki, and J. Burg, A tutorial program for propositional logic with human/computer interactive learning, SIGCSE 2002, pp.381-385, 2002.

I. Perikos, F. Grivokostopoulou, I. Hatzilygeroudis, and K. Kovas, Difficulty Estimator for Translating Natural Language into First Order Logic, Proceedings of the Third International Conference on Intelligent Decision Techologies (KES-IDT 2011), pp.135-144, 2011.
DOI : 10.1007/978-3-642-22194-1_14

I. Perikos, F. Grivokostopoulou, and I. Hatzilygeroudis, Teaching assistant tools for NL to FOL Conversion Proceedings of the IADIS International Conference e-Learning, pp.337-345, 2011.

W. Sieg, The AProS Project: Strategic Thinking & Computational Logic, Logic Journal of IGPL, vol.15, issue.4, pp.359-368, 2007.
DOI : 10.1093/jigpal/jzm026

K. Yacef, The Logic-ITA in the classroom: a medium scale experiment, International Journal on Artificial Intelligence in Education, pp.41-60, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00257107