Artificial intelligence : theory and practice - Dean, Thomas L., 1950- (Benjamin/Cummings Pub. Co., 1995)