Mathematical methods in artificial intelligence. - Bender Edward A (1996)