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