Computational Intelligence : A Logical Approbach - Poole, David; Mackworth, Alan; Goebel, Randy (Oxford University Press, 1998)