Handbook of artificial intelligence (Stanford Univ., 1979)