Thomas J. Murray Beverly Park Woolf Results of Encoding Knowledge with Tutor Construction Tools. 17-23 1992 AAAI db/conf/aaai/aaai92.html#MurrayW92