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