AI and expertise heuristic search, inference engines, automatic proving - Farreny, Henri (Horwood u.a., 1989)