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