Computational intelligence : a logical approach - Poole, David L. (David Lynton), 1958-; Mackworth, Alan K.; Goebel, Randy (New York : Oxford University Press, 1998)
39