Problem-solving methods in artificial intelligence (1971)

by N J Nilsson