The handbook of artificial intelligence - Barr, Avron (William Kaufmann, 1982)