An intelligent tutoring system for basic set theory. - Jingwei Xia; Gautam Biswas (IEA/AIE (2), 1989)