Problem-solving and artificial intelligence - Lauriere, Jean-Louis (Prentice Hall, 1990)