Artificial intelligence techniques a comprehensive catalogue - Bundy, Alan (Springer, 1997)