Problem Solving and Artificial Intelligence - Lauriere, Jean Louis (Prentice Hall, 1990)