The handbook of artificial inteligence, vol. 2 - Barr, Avron (William Kaufman, Inc, 1982)