N. T. Le, W. Menzel, and N. Pinkwart. Evaluation of a Constraint-Based Homework Assistance System for Logic Programming. Proceedings of the 17th International Conference on Computers in Education (ICCE), Asia-Pacific Society for Computers in Education, 2009.