Computational intelligence: A logical approach - Poole, David; Others (New York Oxford University Press, 2005)