Knowledge-acquisition tools with explicit problem-solving methods - Birmingham, W; Klinker, G (Knowl Engin Rev, 1993)