Automated Explanation and Knowledge Acquisition - David A. Klein (Taylor and Francis, 1994)