The handbook of artificial intelligence - Barr, Avron