Karsten Poeck Martin Tins An Intelligent Tutoring System for Classification Problem Solving. 210-220 1992 conf/ki/1992 GWAI db/conf/ki/gwai92.html#PoeckT92