richard@cs.mu.OZ.AU (Richard Hagen) (10/03/90)
I've misplaced my reference to this particular system. The approach was similar to that used in WHY - arguments form a particular domain (see the subject) were used to teach reasoning skills. Can anyone remember or help me out? (Or was it all a dream?) richard