Computational intelligence a logical approach - Poole, David (Oxford University Press, 1998)