Poole, David (eds) Computional intelligence a logical approach - OUP, New York 1998 - xvi, 558 ISBN: 0-19-510270-3 Dewey Class. No.: 001.532 Poo