Computational intelligence : a logical approach /
Poole, David.
Mackworth, Alan K.
Goebel, Randy.
New York ; Oxford : Oxford University Press,
c1998.
Includes bibliographical references (p. 533-547) and index
Artificial intelligence.