FARRENY(Henri) <br/><br/>
"AI and expertise: Heuristic search, inference engines, automatic proving" 

 - New York  Ellis Horwood  1988 
 - 260 p.