Leanna Lesta, Kalina Yacef. An Intelligent Teaching Assistant System for Logic. In Stefano A. Cerri, Guy Gouardères, Fábio Paraguaçu, editors, Intelligent Tutoring Systems, 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002, Proceedings. Volume 2363 of Lecture Notes in Computer Science, pages 421-431, Springer, 2002. [doi]