The handbook of artificial intelligence (Kaufmann, 1982)