Artificial intelligence at MIT : expanding frontiers - Winston, Patrick Henry (Artificial intelligence series, 1990)