N. J. Nilsson

• Problem-solving methods in artificial intelligence