1. Alonso, J.A., Aranda, G.A., Martín-Matceos, F.J.: FITS: Formalization with an Intelligent Tutor System. In: Proceedings of the IV International Conference on Multimedia and Information and Communication Technologies in Education (2006)
2. Lecture Notes in Computer Science;J.A. Alonso,2007
3. Barker-Plummer, D., Cox, R., Dale, R.: Dimensions of Difficulty in Translating Natural Language into First-Order Logic. In: 2nd International conference on Educational Data Mining, Cordoba, Spain, pp. 220–228 (2009)
4. Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)
5. Friedman-Hill, E.: Jess in Action: Rule-Based Systems in Java. Manning Publications Company (2003)