1. Simón, A., Martínez, A., López, M., Maestro, J., Marqués, J., Alonso, C.: Learning Computational Logic with an Intelligent Tutoring System: SIAL. In: First International Congress on Tools for Teaching Logic, pp. 161–168. U. of Salamanca (2000)
2. Lecture Notes in Computer Science;A. Martínez,2000
3. Chang, C.L., Lee, R.C.T.: Symbolic logic and mechanical theorem proving. Academic Press, London (1987)
4. Aranda, L., Torres, S., Trella, M., Conejo, R.: BabelWin: An environment for learning and monitoring reading and writing skills. In: Computers and Education in the 21st Century, pp. 79–92. Kluwer Academic Pub., The Netherlands (2000)
5. Vygotsky, L.: Mind in society: The development of higher psychological processes. Harvard University Press, Cambridge (1978)