Problem-solving and artificial intelligence - Lauriére, Jean-Louis (Prentice Hall, 1990)