Artificial intelligence techniques: A comprehensive catalogue. 4th Ed. - Bundy, Alan, Ed (Springer, 1997)