AI and Expertise Heuristic Search, Inference Enginees, Automatic Provin - Farreny, Henri (Ellis Horwood Lim., 1989)