Poole, David Computational intelligence: A logical approach - New York Oxford University Press, 2005 ISBN: 0-19-568143-6 Dewey Class. No.: 6.3 / POD