Computational Intelligence:A Logical Approach - Poole, David (Oxford University Press, 1998)