Computational intelligence a logical approach - Poole, David L. 1958-; Mackworth, Alan K.; Goebel, Randy G. (Oxford Univ. Press, 1998)