Artificial intelligence : theory and practice - Dean, Thomas (The Benjamin/Cummings Company, 1995)