PROBLEM SOLVING AND ARTIFICIAL INTELEGENT - LAURIERE, Jean-Louis (Prentice Hall, Inc., 1990)